Searched refs:write_cr4 (Results 1 – 5 of 5) sorted by relevance
356 .write_cr4 = native_write_cr4,
119 void (*write_cr4)(unsigned long); member
100 PVOP_VCALL1(pv_cpu_ops.write_cr4, x); in __write_cr4()
1449 pv_cpu_ops.write_cr4 = lguest_write_cr4; in lguest_init()
1230 .write_cr4 = xen_write_cr4,