Symbol: ident_platform
sys/arch/arc/arc/machdep.c
234
ident_platform();
sys/arch/arc/include/platform.h
58
int ident_platform(void);
sys/arch/mvmeppc/include/platform.h
50
void ident_platform(void);
sys/arch/mvmeppc/mvmeppc/machdep.c
119
ident_platform();