gta02_get_platform_name 74 kernel/arch/arm32/src/mach/gta02/gta02.c static const char *gta02_get_platform_name(void); gta02_get_platform_name 97 kernel/arch/arm32/src/mach/gta02/gta02.c gta02_get_platform_name