Symbol: vmx_exit_insn
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1574
vmx_exit_insn(exit, NVMM_VCPU_EXIT_CPUID);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2503
vmx_exit_insn(exit, NVMM_VCPU_EXIT_MONITOR);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2506
vmx_exit_insn(exit, NVMM_VCPU_EXIT_MWAIT);