Searched refs:__read_cr4_safe (Results 1 – 5 of 5) sorted by relevance
147 static inline unsigned long __read_cr4_safe(void) in __read_cr4_safe() function
89 this_cpu_write(cpu_tlbstate.cr4, __read_cr4_safe()); in cr4_init_shadow()
93 static inline unsigned long __read_cr4_safe(void) in __read_cr4_safe() function
106 cr4 = __read_cr4_safe(); in __show_regs()
133 ctxt->cr4 = __read_cr4_safe(); in __save_processor_state()