Searched refs:write_cr4 (Results 1 – 4 of 4) sorted by relevance
292 .cpu.write_cr4 = native_write_cr4,
91 void (*write_cr4)(unsigned long); member
168 PVOP_VCALL1(cpu.write_cr4, x); in __write_cr4()
1019 .write_cr4 = xen_write_cr4,
Completed in 12 milliseconds