Symbol: VMCS_EXITCODE_EXC_NMI
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1270
vmx_exit_invalid(exit, VMCS_EXITCODE_EXC_NMI);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2394
case VMCS_EXITCODE_EXC_NMI: