CR4_PAE
cr4 = CR4_PAE;
CALLBACK(setcr, 4, CR4_PAE | CR4_VMXE);
if ((cr4 & CR4_PAE) == 0)
if (!(cr4 & CR4_PAE))
ncr4 |= CR4_PAE;
else if (!(regs[2] & CR4_PAE))