Searched refs:__read_cr4 (Results 1 – 3 of 3) sorted by relevance
136 static inline unsigned long __read_cr4(void) in __read_cr4() function
143 cr4 = __read_cr4(); in prepare_set()
128 ctxt->cr4 = __read_cr4(); in __save_processor_state()