Symbol: VCPU_HOST_REGS_EFER
sys/arch/amd64/amd64/vmm_machdep.c
2378
msr_store[VCPU_HOST_REGS_EFER].vms_index = MSR_EFER;
sys/arch/amd64/amd64/vmm_machdep.c
2379
msr_store[VCPU_HOST_REGS_EFER].vms_data = rdmsr(MSR_EFER);