amd64_post_mm_init 70 kernel/arch/amd64/src/amd64.c static void amd64_post_mm_init(void); amd64_post_mm_init 77 kernel/arch/amd64/src/amd64.c .post_mm_init = amd64_post_mm_init,