HOST_IA32_EFER
EVMCS1_FIELD(HOST_IA32_EFER, host_ia32_efer,
FIELD64(HOST_IA32_EFER, host_ia32_efer),
if (host_val_vmcs != HOST_IA32_EFER)
HOST_IA32_EFER,
vmcs_write64(HOST_IA32_EFER, kvm_host.efer);
pr_err("EFER= 0x%016llx\n", vmcs_read64(HOST_IA32_EFER));
case HOST_IA32_EFER:
case HOST_IA32_EFER:
vmwrite(HOST_IA32_EFER, rdmsr(MSR_EFER));
vmwrite(GUEST_IA32_EFER, vmreadz(HOST_IA32_EFER));