HelenOS sources

icp_output_init   100 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h extern void icp_output_init(void);
icp_output_init    73 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp_output_init,
HelenOS homepage, sources at GitHub