Am Fr., 18. Juni 2021 um 23:10 Uhr schrieb Jim Mattson <jmattson@xxxxxxxxxx>: > > On Fri, Jun 18, 2021 at 1:57 PM Lara Lazier <laramglazier@xxxxxxxxx> wrote: > > > > 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. > > I think this may be subtle enough to warrant a comment as well, if > you're so inclined. Sure, I will add a corresponding comment.
