HelenOS sources

mips32_pre_mm_init   62 kernel/arch/mips32/src/mips32.c static void mips32_pre_mm_init(void);
mips32_pre_mm_init   67 kernel/arch/mips32/src/mips32.c 	.pre_mm_init = mips32_pre_mm_init,
HelenOS homepage, sources at GitHub