CR4_PAE
else if (!(regs[2] & CR4_PAE))
{ "PAE", CR4_PAE, CR4_PAE },
else if ((mmu->vm_cr4 & CR4_PAE) == 0)
CR4_DE | CR4_PSE | CR4_PAE | CR4_MCE | CR4_PGE | CR4_FSGSBASE,
if ((cr4 & CR4_PAE) == 0)
(state->cr4 & CR4_PAE) == 0) {
if (!(vmcs_read(VMCS_GUEST_CR4) & CR4_PAE))