Searched refs:tss_ss (Results 1 – 2 of 2) sorted by relevance
66 int tss_ss; /* actually 16 bits: top 16 bits must be zero */ member
2569 dblfault_tss->tss_ss = dblfault_tss->tss_ss0 = dblfault_tss->tss_ss1 = in machdep_init_trampoline()