Searched refs:__set_ds (Results 1 – 4 of 4) sorted by relevance
131 __set_ds(selector_t value) in __set_ds() function
595 __set_ds(pcb->pcb_ds); in update_sregs()667 __set_ds(KDS_SEL); in reset_sregs()
176 .inline __set_ds, 0
177 extern void __set_ds(selector_t);