__xen_write_cr3  1431 arch/x86/xen/mmu_pv.c 	__xen_write_cr3(true, cr3);
__xen_write_cr3  1437 arch/x86/xen/mmu_pv.c 			__xen_write_cr3(false, __pa(user_pgd));
__xen_write_cr3  1439 arch/x86/xen/mmu_pv.c 			__xen_write_cr3(false, 0);
__xen_write_cr3  1477 arch/x86/xen/mmu_pv.c 	__xen_write_cr3(true, cr3);
__xen_write_cr3  1972 arch/x86/xen/mmu_pv.c 	__xen_write_cr3(true, __pa(init_top_pgt));