Searched refs:tss_ds (Results 1 – 2 of 2) sorted by relevance
67 int tss_ds; /* actually 16 bits: top 16 bits must be zero */ member
2574 dblfault_tss->tss_ds = dblfault_tss->tss_es = in machdep_init_trampoline()