Searched refs:sbdp_stop_cpu (Results 1 – 3 of 3) sorted by relevance
99 int sbdp_stop_cpu(processorid_t);
165 if (SBDP_INJECT_ERROR(f, 2) || sbdp_stop_cpu(cpu) != 0) { in sbdp_disconnect_cpu()
882 sbdp_stop_cpu(processorid_t cpu) in sbdp_stop_cpu() function