pick_optimal_cpu 1019 kernel/sched_rt.c 			best_cpu = pick_optimal_cpu(this_cpu,
pick_optimal_cpu 1031 kernel/sched_rt.c 	return pick_optimal_cpu(this_cpu, lowest_mask);