1422 static void __xen_write_cr3(bool kernel, unsigned long cr3)  in __xen_write_cr3()  argument
1427 	trace_xen_mmu_write_cr3(kernel, cr3);  in __xen_write_cr3()
1429 	if (cr3)  in __xen_write_cr3()
1430 		mfn = pfn_to_mfn(PFN_DOWN(cr3));  in __xen_write_cr3()
1442 		this_cpu_write(xen_cr3, cr3);  in __xen_write_cr3()
1446 		xen_mc_callback(set_current_cr3, (void *)cr3);  in __xen_write_cr3()
1449 static void xen_write_cr3(unsigned long cr3)  in xen_write_cr3()  argument
1457 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3()
1459 	__xen_write_cr3(true, cr3);  in xen_write_cr3()
1463 		pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));  in xen_write_cr3()
1495 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
1503 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3_init()
1505 	__xen_write_cr3(true, cr3);  in xen_write_cr3_init()
2198 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
2203 	BUG_ON(cr3 != __pa(swapper_pg_dir));  in xen_write_cr3_init()
2223 	xen_write_cr3(cr3);  in xen_write_cr3_init()