HelenOS sources

sparc64_post_mm_init   47 kernel/arch/sparc64/src/sparc64.c static void sparc64_post_mm_init(void);
sparc64_post_mm_init   54 kernel/arch/sparc64/src/sparc64.c 	.post_mm_init = sparc64_post_mm_init,
HelenOS homepage, sources at GitHub