Am Fr., 18. Juni 2021 um 22:26 Uhr schrieb Jim Mattson <jmattson@xxxxxxxxxx>: > > On Fri, Jun 18, 2021 at 12:59 PM Lara Lazier <laramglazier@xxxxxxxxx> wrote: > > > My understanding is as follows: > > The "first" test should succeed with an SVM_EXIT_ERR when EFER.LME and > > CR0.PG are both > > non-zero and CR0.PE is zero (so I believe we do not really care > > whether CR4.PAE is set or not though > > I might be overlooking something here). > > You are overlooking the fact that the test will fail if CR4.PAE is > clear. If CR4.PAE is 0 *and* CR0.PE is 0, then you can't be sure which > one triggered the failure. Oh, yes that makes sense! Thank you for the explanation. I will move it back up.