1421 static void __xen_write_cr3(bool kernel, unsigned long cr3)  in __xen_write_cr3()  argument
1426 	trace_xen_mmu_write_cr3(kernel, cr3);  in __xen_write_cr3()
1428 	if (cr3)  in __xen_write_cr3()
1429 		mfn = pfn_to_mfn(PFN_DOWN(cr3));  in __xen_write_cr3()
1441 		this_cpu_write(xen_cr3, cr3);  in __xen_write_cr3()
1445 		xen_mc_callback(set_current_cr3, (void *)cr3);  in __xen_write_cr3()
1448 static void xen_write_cr3(unsigned long cr3)  in xen_write_cr3()  argument
1456 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3()
1458 	__xen_write_cr3(true, cr3);  in xen_write_cr3()
1462 		pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));  in xen_write_cr3()
1494 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
1502 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3_init()
1504 	__xen_write_cr3(true, cr3);  in xen_write_cr3_init()
2207 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
2212 	BUG_ON(cr3 != __pa(swapper_pg_dir));  in xen_write_cr3_init()
2232 	xen_write_cr3(cr3);  in xen_write_cr3_init()