T_EXTERRFLT
{ T_EXTERRFLT, "error-fault" },
case T_EXTERRFLT: /* x87 floating point exception pending */
case T_EXTERRFLT + USER: /* x87 floating point exception pending */
set_gatesegd(&idt[T_EXTERRFLT], &xpv_ndperr, cs, SDT_SYSIGT, TRP_XPL,
{ T_EXTERRFLT, 0, kdi_trap16, NULL },
set_gatesegd(&idt[T_EXTERRFLT],
KCS_SEL, SDT_SYSIGT, TRP_KPL, idt_vector_to_ist(T_EXTERRFLT));