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