HelenOS sources

icp_get_platform_name  108 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h extern const char *icp_get_platform_name(void);
icp_get_platform_name   76 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp_get_platform_name