MSR_EFER
svm_setmsrbrw(vcpu, MSR_EFER);
svm_setmsrbr(vcpu, MSR_EFER);
msr_store[VCPU_HOST_REGS_EFER].vms_index = MSR_EFER;
msr_store[VCPU_HOST_REGS_EFER].vms_data = rdmsr(MSR_EFER);
msr_store[VCPU_REGS_EFER].vms_index = MSR_EFER;
vmx_setmsrbrw(vcpu, MSR_EFER);
case MSR_EFER:
msr = rdmsr(MSR_EFER);
wrmsr(MSR_EFER, msr);
msr = rdmsr(MSR_EFER);
wrmsr(MSR_EFER, msr);
case MSR_EFER: return "EFER";
case MSR_EFER: vmm_decode_efer_value(val); break;