sbdp_start_cpu
if (SBDP_INJECT_ERROR(f, 1) || sbdp_start_cpu(cpu) != 0) {
int sbdp_start_cpu(processorid_t);