Searched refs:tss_ss1 (Results 1 – 2 of 2) sorted by relevance
50 int tss_ss1; /* 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()