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