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.
