1313 static void __xen_write_cr3(bool kernel, unsigned long cr3)  in __xen_write_cr3()  argument
1318 	trace_xen_mmu_write_cr3(kernel, cr3);  in __xen_write_cr3()
1320 	if (cr3)  in __xen_write_cr3()
1321 		mfn = pfn_to_mfn(PFN_DOWN(cr3));  in __xen_write_cr3()
1333 		this_cpu_write(xen_cr3, cr3);  in __xen_write_cr3()
1337 		xen_mc_callback(set_current_cr3, (void *)cr3);  in __xen_write_cr3()
1341 static void xen_write_cr3(unsigned long cr3)  in xen_write_cr3()  argument
1349 	this_cpu_write(xen_cr3, cr3);  in xen_write_cr3()
1351 	__xen_write_cr3(true, cr3);  in xen_write_cr3()
1355 		pgd_t *user_pgd = xen_get_user_pgd(__va(cr3));  in xen_write_cr3()
1810 static void __init xen_write_cr3_init(unsigned long cr3)  in xen_write_cr3_init()  argument
1815 	BUG_ON(cr3 != __pa(swapper_pg_dir));  in xen_write_cr3_init()
1836 	xen_write_cr3(cr3);  in xen_write_cr3_init()