resched_cpu       282 kernel/rcu/rcu.h extern void resched_cpu(int cpu);
resched_cpu       148 kernel/rcu/tiny.c 		resched_cpu(0);
resched_cpu      1077 kernel/rcu/tree.c 		resched_cpu(rdp->cpu);
resched_cpu      1091 kernel/rcu/tree.c 			resched_cpu(rdp->cpu);
resched_cpu      1878 kernel/sched/sched.h extern void resched_cpu(int cpu);