MSR_EFER
CALLBACK(setmsr, MSR_EFER, EFER_LMA | EFER_LME);
WAKECODE_FIXUP(wakeup_efer, uint64_t, rdmsr(MSR_EFER) &
msr = rdmsr(MSR_EFER) | EFER_NXE;
wrmsr(MSR_EFER, msr);
msr = rdmsr(MSR_EFER) | EFER_TCE;
wrmsr(MSR_EFER, msr);
msr = rdmsr(MSR_EFER) | EFER_SCE;
wrmsr(MSR_EFER, msr);
db_printf("EFER\t0x%016lx\n", rdmsr(MSR_EFER));
else if (num == MSR_EFER)
efer = rdmsr(MSR_EFER);
wrmsr(MSR_EFER, efer);
efer = rdmsr(MSR_EFER);
wrmsr(MSR_EFER, efer);
svm_msr_rd_ok(svm_sc->msr_bitmap, MSR_EFER);
guest_msr_rw(vmx, MSR_EFER) ||
vmm_host_efer = rdmsr(MSR_EFER);
WAKECODE_FIXUP(wakeup_efer, uint64_t, rdmsr(MSR_EFER));
msr = rdmsr(MSR_EFER) | EFER_NXE;
wrmsr(MSR_EFER, msr);
db_printf("EFER\t0x%016llx\n", rdmsr(MSR_EFER));
case MSR_EFER:
case MSR_EFER: