Searched refs:tss_cs (Results 1 – 2 of 2) sorted by relevance
65 int tss_cs; /* actually 16 bits: top 16 bits must be zero */ member
2577 dblfault_tss->tss_cs = GSEL(GCODE_SEL, SEL_KPL); in machdep_init_trampoline()