abs32le_post_mm_init 51 kernel/arch/abs32le/src/abs32le.c static void abs32le_post_mm_init(void); abs32le_post_mm_init 54 kernel/arch/abs32le/src/abs32le.c .post_mm_init = abs32le_post_mm_init,