Searched refs:__write_cr4 (Results 1 – 7 of 7) sorted by relevance
143 __write_cr4(cr4 & ~X86_CR4_PGE); in prepare_set()175 __write_cr4(cr4); in post_set()
750 __write_cr4(cr4 & ~X86_CR4_PGE); in prepare_set()779 __write_cr4(cr4); in post_set()
207 __write_cr4(ctxt->cr4); in __restore_processor_state()212 __write_cr4(ctxt->cr4); in __restore_processor_state()
182 static inline void __write_cr4(unsigned long x) in __write_cr4() function
299 __write_cr4(cr4); in __cr4_set()
75 static inline void __write_cr4(unsigned long x) in __write_cr4() function
220 __write_cr4(__read_cr4() | X86_CR4_PCIDE); in start_secondary()
