Searched refs:write_cr4 (Results 1 – 5 of 5) sorted by relevance
352 .write_cr4 = native_write_cr4,
115 void (*write_cr4)(unsigned long); member
94 PVOP_VCALL1(pv_cpu_ops.write_cr4, x); in __write_cr4()
1453 pv_cpu_ops.write_cr4 = lguest_write_cr4; in lguest_init()
1210 .write_cr4 = xen_write_cr4,