Searched refs:xen_write_cr4 (Results 1 – 1 of 1) sorted by relevance
1077 static void xen_write_cr4(unsigned long cr4) in xen_write_cr4() function1368 pv_ops.cpu.write_cr4 = xen_write_cr4; in xen_start_kernel()