GDT_KTSS
(GDT_KTSS << 3),
set_syssegd((system_desc_t *)&cp->cpu_gdt[GDT_KTSS], cp->cpu_tss,
return (SEL_GDT(GDT_KTSS, SEL_KPL));
set_syssegd((system_desc_t *)&gdt[GDT_KTSS], ktss0,
#define KTSS_SEL SEL_GDT(GDT_KTSS, SEL_KPL)