Searched refs:write_cr4 (Results 1 – 14 of 14) sorted by relevance
169 write_cr4(ctxt->cr4); in __restore_processor_state()174 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()
685 write_cr4(cr4 & ~X86_CR4_PGE); in prepare_set()712 write_cr4(cr4); in post_set()
43 write_cr4(read_cr4() & ~X86_CR4_VMXE); in cpu_vmxoff()
150 static inline void write_cr4(unsigned long x) in write_cr4() function
556 write_cr4(cr4); in set_in_cr4()566 write_cr4(cr4); in clear_in_cr4()
92 static inline void write_cr4(unsigned long x) in write_cr4() function94 PVOP_VCALL1(pv_cpu_ops.write_cr4, x); in write_cr4()
115 void (*write_cr4)(unsigned long); member
450 write_cr4(read_cr4() | X86_CR4_PGE); in adjust_pge()452 write_cr4(read_cr4() & ~X86_CR4_PGE); in adjust_pge()
156 write_cr4(read_cr4() | X86_CR4_TSD); in hard_disable_TSC()173 write_cr4(read_cr4() & ~X86_CR4_TSD); in hard_enable_TSC()
348 .write_cr4 = native_write_cr4,
1311 pv_cpu_ops.write_cr4 = lguest_write_cr4; in lguest_init()
1137 .write_cr4 = xen_write_cr4,
2316 write_cr4(read_cr4() | X86_CR4_VMXE); /* FIXME: not cpu hotplug safe */ in hardware_enable()2353 write_cr4(read_cr4() & ~X86_CR4_VMXE); in hardware_disable()