T_DBLFLT
{ T_DBLFLT, "double-fault" },
if (tip->trap_type == T_DBLFLT)
{ T_DBLFLT, 0, syserrtrap, NULL },
if (kpti_enable && sel == KCS_SEL && id->id_low == T_DBLFLT)
case T_DBLFLT:
set_gatesegd(&idt[T_DBLFLT],
KCS_SEL, SDT_SYSIGT, TRP_KPL, idt_vector_to_ist(T_DBLFLT));