Searched refs:__set_gs (Results 1 – 4 of 4) sorted by relevance
158 __set_gs(selector_t value) in __set_gs() function
542 __set_gs(pcb->pcb_gs); in update_sregs()654 __set_gs(KGS_SEL); in reset_sregs()
188 .inline __set_gs, 0
180 extern void __set_gs(selector_t);