Symbol: VMCS_EXITCODE_EXC_NMI
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
2459
if (exitcode == VMCS_EXITCODE_EXC_NMI) {
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2475
case VMCS_EXITCODE_EXC_NMI: