ia64_mmu_init     942 arch/ia64/kernel/setup.c 	extern void ia64_mmu_init(void *);
ia64_mmu_init    1026 arch/ia64/kernel/setup.c 	ia64_mmu_init(ia64_imva(cpu_data));