amd64_pre_mm_init 69 kernel/arch/amd64/src/amd64.c static void amd64_pre_mm_init(void); amd64_pre_mm_init 76 kernel/arch/amd64/src/amd64.c .pre_mm_init = amd64_pre_mm_init,