Searched refs:sbdp_start_cpu (Results 1 – 3 of 3) sorted by relevance
97 int sbdp_start_cpu(processorid_t);
239 if (SBDP_INJECT_ERROR(f, 1) || sbdp_start_cpu(cpu) != 0) { in sbdp_connect_cpu()
907 sbdp_start_cpu(processorid_t cpu) in sbdp_start_cpu() function