Searched refs:__write_cr4 (Results 1 – 6 of 6) sorted by relevance
47 __write_cr4(cr4); in cr4_set_bits()60 __write_cr4(cr4); in cr4_clear_bits()
152 static inline void __write_cr4(unsigned long x) in __write_cr4() function
98 static inline void __write_cr4(unsigned long x) in __write_cr4() function
177 __write_cr4(ctxt->cr4); in __restore_processor_state()182 __write_cr4(ctxt->cr4); in __restore_processor_state()
142 __write_cr4(cr4 & ~X86_CR4_PGE); in prepare_set()174 __write_cr4(cr4); in post_set()
747 __write_cr4(cr4 & ~X86_CR4_PGE); in prepare_set()776 __write_cr4(cr4); in post_set()