HelenOS sources

gta02_frame_init   70 kernel/arch/arm32/src/mach/gta02/gta02.c static void gta02_frame_init(void);
gta02_frame_init   93 kernel/arch/arm32/src/mach/gta02/gta02.c 	gta02_frame_init,
HelenOS homepage, sources at GitHub