sbdp_stop_cpu
if (SBDP_INJECT_ERROR(f, 2) || sbdp_stop_cpu(cpu) != 0) {
int sbdp_stop_cpu(processorid_t);