VMCS_INTR_T_NMI
CTASSERT(VMCS_INTR_T_NMI == VM_INTINFO_NMI);
case VMCS_INTR_T_NMI:
IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID);
if (intr_type == VMCS_INTR_T_NMI) {
if (intr_type == VMCS_INTR_T_NMI)
if ((intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_NMI) {