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