ps3_smp_next_cpu
static int ps3_smp_next_cpu(platform_t, struct cpuref *cpuref);
PLATFORMMETHOD(platform_smp_next_cpu, ps3_smp_next_cpu),