Symbol: ident_platform
sys/arch/arc/arc/platform.c
56
ident_platform(void)
sys/arch/mvmeppc/mvmeppc/platform.c
58
ident_platform(void)