1318 static void __xen_write_cr3(bool kernel, unsigned long cr3)  in __xen_write_cr3()  argument
1323 	trace_xen_mmu_write_cr3(kernel, cr3);  in __xen_write_cr3()
1325 	if (cr3)  in __xen_write_cr3()
1326 		mfn = pfn_to_mfn(PFN_DOWN(cr3));  in __xen_write_cr3()
1338 		this_cpu_write(xen_cr3, cr3);  in __xen_write_cr3()
1342 		xen_mc_callback(set_current_cr3, (void *)cr3);  in __xen_write_cr3()
1345 static void xen_write_cr3(unsigned long cr3)  in xen_write_cr3()  argument
1353 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3()
1355 	__xen_write_cr3(true, cr3);  in xen_write_cr3()
1359 		pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));  in xen_write_cr3()
1391 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
1399 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3_init()
1401 	__xen_write_cr3(true, cr3);  in xen_write_cr3_init()
1905 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
1910 	BUG_ON(cr3 != __pa(swapper_pg_dir));  in xen_write_cr3_init()
1930 	xen_write_cr3(cr3);  in xen_write_cr3_init()