VMCS_GUEST_IA32_EFER
return (VMCS_GUEST_IA32_EFER);
return (VMCS_GUEST_IA32_EFER);
efer = vmcs_read(VMCS_GUEST_IA32_EFER);
vmcs_write(VMCS_GUEST_IA32_EFER, efer);
if (vmcs_read(VMCS_GUEST_IA32_EFER) & EFER_LMA) {
if (vmcs_read(VMCS_GUEST_IA32_EFER) & EFER_LME)
case VMCS_GUEST_IA32_EFER: