Symbol: INTR_TYPE_NMI
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1119
type = INTR_TYPE_NMI;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1224
if (__SHIFTOUT(qual, INTR_INFO_TYPE) != INTR_TYPE_NMI) {