HelenOS sources

gta02_init         65 kernel/arch/arm32/src/mach/gta02/gta02.c static void gta02_init(void);
gta02_init         88 kernel/arch/arm32/src/mach/gta02/gta02.c 	gta02_init,
HelenOS homepage, sources at GitHub