Searched refs:__set_ds (Results 1 – 3 of 3) sorted by relevance
140 __set_ds(selector_t value) in __set_ds() function
598 __set_ds(pcb->pcb_ds); in update_sregs()670 __set_ds(KDS_SEL); in reset_sregs()
173 extern void __set_ds(selector_t);