Symbol: MSR_IA32_MISC_ENABLE
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1901
if (exit->u.rdmsr.msr == MSR_IA32_MISC_ENABLE) {
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1942
if (exit->u.wrmsr.msr == MSR_IA32_MISC_ENABLE) {
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3040
cpudata->gmsr_misc_enable = rdmsr(MSR_IA32_MISC_ENABLE);