Searched refs:__write_cr4 (Results 1 – 7 of 7) sorted by relevance
144 __write_cr4(cr4 & ~X86_CR4_PGE); in prepare_set()176 __write_cr4(cr4); in post_set()
207 __write_cr4(ctxt->cr4); in __restore_processor_state()211 __write_cr4(ctxt->cr4); in __restore_processor_state()
166 static inline void __write_cr4(unsigned long x) in __write_cr4() function
168 static inline void __write_cr4(unsigned long x) in __write_cr4() function
1082 __write_cr4(saved_cr4 & ~X86_CR4_PGE); in cache_disable()1111 __write_cr4(saved_cr4); in cache_enable()
458 __write_cr4(newval); in cr4_update_irqsoff()479 __write_cr4(cr4); in cr4_init()
688 __write_cr4(newval); in cr4_toggle_bits_irqsoff()