MSR_EFER
MSR_IDENT_MAP(MSR_EFER)
} else if (ecx == MSR_EFER) {
case MSR_EFER:
svm_msr_rd_ok(svm_sc->msr_bitmap, MSR_EFER);
case MSR_EFER:
case MSR_EFER:
if (msr == MSR_EFER) {
guest_msr_rw(vmx, vcpuid, MSR_EFER);
MSR_EFER,
vmm_host_efer = rdmsr(MSR_EFER);