Symbol: installed_platform
sys/powerpc/include/platform.h
71
const char *installed_platform(void);
sys/powerpc/ps3/ps3bus.c
157
if (strcmp(installed_platform(), "ps3") != 0)
sys/powerpc/ps3/ps3pic.c
99
if (strcmp(installed_platform(), "ps3") != 0)