ps3_spu_set_platform
static inline void ps3_spu_set_platform (void) {}
void ps3_spu_set_platform(void)