Searched refs:write_cr4 (Results 1 – 14 of 14) sorted by relevance
166 write_cr4(ctxt->cr4); in __restore_processor_state()171 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()711 write_cr4(cr4); in post_set()
44 write_cr4(read_cr4() & ~X86_CR4_VMXE); in cpu_vmxoff()
607 write_cr4(cr4); in set_in_cr4()617 write_cr4(cr4); in clear_in_cr4()
314 #define write_cr4(x) (native_write_cr4(x)) macro
91 static inline void write_cr4(unsigned long x) in write_cr4() function93 PVOP_VCALL1(pv_cpu_ops.write_cr4, x); in write_cr4()
107 void (*write_cr4)(unsigned long); member
525 write_cr4(read_cr4() | X86_CR4_PGE); in adjust_pge()527 write_cr4(read_cr4() & ~X86_CR4_PGE); in adjust_pge()
135 write_cr4(read_cr4() | X86_CR4_TSD); in hard_disable_TSC()152 write_cr4(read_cr4() & ~X86_CR4_TSD); in hard_enable_TSC()
333 .write_cr4 = native_write_cr4,
1288 pv_cpu_ops.write_cr4 = lguest_write_cr4; in lguest_init()
960 .write_cr4 = xen_write_cr4,
1385 write_cr4(read_cr4() | X86_CR4_VMXE); /* FIXME: not cpu hotplug safe */ in hardware_enable()1422 write_cr4(read_cr4() & ~X86_CR4_VMXE); in hardware_disable()