Searched refs:__read_cr4 (Results 1 – 4 of 4) sorted by relevance
123 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()
517 unsigned long cr4 = __read_cr4();