Symbol: VMX_EXIT_WRMSR
sys/arch/amd64/amd64/vmm_machdep.c
4702
case VMX_EXIT_WRMSR:
sys/arch/amd64/amd64/vmm_machdep.c
7162
case VMX_EXIT_WRMSR: return "WRMSR instruction";