Searched refs:tss_ss2 (Results 1 – 3 of 3) sorted by relevance
49 int tss_ss2; /* actually 16 bits: top 16 bits must be zero */ member
63 uint16_t tss_ss2; member
1663 dblfault_tss->tss_ss2 = GSEL(GDATA_SEL, SEL_KPL); in machdep_init_trampoline()