GUEST_IA32_EFER
EVMCS1_FIELD(GUEST_IA32_EFER, guest_ia32_efer,
return vmcs_read64(GUEST_IA32_EFER);
FIELD64(GUEST_IA32_EFER, guest_ia32_efer),
GUEST_IA32_EFER,
pr_err("EFER= 0x%016llx\n", vmcs_read64(GUEST_IA32_EFER));
case GUEST_IA32_EFER:
case GUEST_IA32_EFER:
vmwrite(GUEST_IA32_EFER, vmreadz(HOST_IA32_EFER));