ia64_post_mm_init 65 kernel/arch/ia64/src/ia64.c static void ia64_post_mm_init(void); ia64_post_mm_init 70 kernel/arch/ia64/src/ia64.c .post_mm_init = ia64_post_mm_init,