Symbol: __xen_write_cr3
arch/x86/xen/mmu_pv.c
1413
__xen_write_cr3(true, cr3);
arch/x86/xen/mmu_pv.c
1416
__xen_write_cr3(false, __pa(user_pgd));
arch/x86/xen/mmu_pv.c
1418
__xen_write_cr3(false, 0);
arch/x86/xen/mmu_pv.c
1453
__xen_write_cr3(true, cr3);
arch/x86/xen/mmu_pv.c
1869
__xen_write_cr3(true, __pa(init_top_pgt));