Searched refs:__write_cr4 (Results 1 – 3 of 3) sorted by relevance
144 __write_cr4(cr4 & ~X86_CR4_PGE); in prepare_set()176 __write_cr4(cr4); in post_set()
209 __write_cr4(ctxt->cr4); in __restore_processor_state()213 __write_cr4(ctxt->cr4); in __restore_processor_state()
179 static inline void __write_cr4(unsigned long x) in __write_cr4() function