VMCS_GUEST_CR4
return (VMCS_GUEST_CR4);
!(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) {
vmcs_write(VMCS_GUEST_CR4, crval);
if (!(vmcs_read(VMCS_GUEST_CR4) & CR4_PAE))
case VMCS_GUEST_CR4:
case VMCS_GUEST_CR4: