riscv64_post_mm_init 58 kernel/arch/riscv64/src/riscv64.c static void riscv64_post_mm_init(void); riscv64_post_mm_init 61 kernel/arch/riscv64/src/riscv64.c .post_mm_init = riscv64_post_mm_init