SDT_SYSTASKGT
case SDT_SYSTASKGT:
setidt(IDT_DF, 0, SDT_SYSTASKGT, SEL_KPL, GSEL(GPANIC_SEL,
if (ip->gd_type == SDT_SYSTASKGT) {
case SDT_SYSTASKGT: /* system task gate */