Symbol: vmx_exit_invalid
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1246
vmx_exit_invalid(exit, VMCS_EXITCODE_EXC_NMI);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2467
vmx_exit_invalid(exit, -1);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2540
vmx_exit_invalid(exit, exitcode);