Symbol: VMCS_INTR_T_NMI
sys/amd64/vmm/intel/vmx.c
1454
info = IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID;
sys/amd64/vmm/intel/vmx.c
2457
if (intr_type == VMCS_INTR_T_NMI) {
sys/amd64/vmm/intel/vmx.c
2699
if (intr_type == VMCS_INTR_T_NMI)
sys/amd64/vmm/intel/vmx.c
2937
if ((intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_NMI) {