1351 static void __xen_write_cr3(bool kernel, unsigned long cr3)  in __xen_write_cr3()  argument
1356 	trace_xen_mmu_write_cr3(kernel, cr3);  in __xen_write_cr3()
1358 	if (cr3)  in __xen_write_cr3()
1359 		mfn = pfn_to_mfn(PFN_DOWN(cr3));  in __xen_write_cr3()
1371 		this_cpu_write(xen_cr3, cr3);  in __xen_write_cr3()
1375 		xen_mc_callback(set_current_cr3, (void *)cr3);  in __xen_write_cr3()
1378 static void xen_write_cr3(unsigned long cr3)  in xen_write_cr3()  argument
1386 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3()
1388 	__xen_write_cr3(true, cr3);  in xen_write_cr3()
1392 		pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));  in xen_write_cr3()
1424 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
1432 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3_init()
1434 	__xen_write_cr3(true, cr3);  in xen_write_cr3_init()
1937 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
1942 	BUG_ON(cr3 != __pa(swapper_pg_dir));  in xen_write_cr3_init()
1962 	xen_write_cr3(cr3);  in xen_write_cr3_init()