T_NMIFLT
{ T_NMIFLT, "nmi-interrupt" },
case T_NMIFLT:
case T_NMIFLT: /* NMI interrupt */
case T_NMIFLT + USER: /* NMI interrupt */
set_gatesegd(&idt[T_NMIFLT], &xpv_nmiint, cs, SDT_SYSIGT, TRP_XPL, 0);
vmm_call_trap(T_NMIFLT);
{ T_NMIFLT, 0, kdi_int2, NULL },
case T_NMIFLT:
set_gatesegd(&idt[T_NMIFLT],
KCS_SEL, SDT_SYSIGT, TRP_KPL, idt_vector_to_ist(T_NMIFLT));