Symbol: VMX_EXIT_VMLAUNCH
sys/arch/amd64/amd64/vmm_machdep.c
4715
case VMX_EXIT_VMLAUNCH:
sys/arch/amd64/amd64/vmm_machdep.c
7150
case VMX_EXIT_VMLAUNCH: return "VMLAUNCH instruction";