Searched refs:__set_es (Results 1 – 4 of 4) sorted by relevance
140 __set_es(selector_t value) in __set_es() function
598 __set_es(pcb->pcb_es); in update_sregs()668 __set_es(0 | SEL_KPL); /* selector RPL not ring 0 on hypervisor */ in reset_sregs()
180 .inline __set_es, 0
178 extern void __set_es(selector_t);