__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));