HelenOS sources

bbxm_get_platform_name   57 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static const char *bbxm_get_platform_name(void);
bbxm_get_platform_name   78 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_get_platform_name = bbxm_get_platform_name