HelenOS sources

bbone_get_platform_name   63 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c static const char *bbone_get_platform_name(void);
bbone_get_platform_name   84 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	.machine_get_platform_name = bbone_get_platform_name,