ps3_smp_start_cpu
static int ps3_smp_start_cpu(platform_t, struct pcpu *cpu);
PLATFORMMETHOD(platform_smp_start_cpu, ps3_smp_start_cpu),