Searched refs:__set_gs (Results 1 – 3 of 3) sorted by relevance
167 __set_gs(selector_t value) in __set_gs() function
542 __set_gs(pcb->pcb_gs); in update_sregs()657 __set_gs(KGS_SEL); in reset_sregs()
176 extern void __set_gs(selector_t);