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