Symbol: VCPU_HOST_REGS_MISC_ENABLE
sys/arch/amd64/amd64/vmm_machdep.c
2390
msr_store[VCPU_HOST_REGS_MISC_ENABLE].vms_index = MSR_MISC_ENABLE;
sys/arch/amd64/amd64/vmm_machdep.c
2391
msr_store[VCPU_HOST_REGS_MISC_ENABLE].vms_data = msr_misc_enable;
sys/arch/amd64/include/vmmvar.h
460
#define VCPU_HOST_REGS_NMSRS (VCPU_HOST_REGS_MISC_ENABLE + 1)