Searched refs:wrgsbase (Results 1 – 5 of 5) sorted by relevance
60 wrgsbase(saved_gs_base); in restore_rest_processor_state()
187 static inline void wrgsbase(unsigned long base) in wrgsbase() function
1023 wrgsbase(val); in write_msr()
1048 wrgsbase(base); in do_set_segment_base()
1337 wrgsbase(n->arch.pv_vcpu.gs_base_user); in load_segments()
Completed in 13 milliseconds