xen_write_cr3_init 1467 arch/x86/xen/mmu_pv.c static void __init xen_write_cr3_init(unsigned long cr3)
xen_write_cr3_init 2177 arch/x86/xen/mmu_pv.c static void __init xen_write_cr3_init(unsigned long cr3)