ia64_pre_mm_init 64 kernel/arch/ia64/src/ia64.c static void ia64_pre_mm_init(void); ia64_pre_mm_init 69 kernel/arch/ia64/src/ia64.c .pre_mm_init = ia64_pre_mm_init,