kernel/rcu/rcu.h

349

extern void resched_cpu(int cpu);

kernel/rcu/tiny.c

181

resched_cpu(0);

kernel/rcu/tiny.c

216

resched_cpu(0);

kernel/rcu/tree.c

2811

resched_cpu(cpu);

kernel/scftorture.c

151

extern void resched_cpu(int cpu); // An alternative IPI vector.

kernel/scftorture.c

374

resched_cpu(cpu);

kernel/sched/ext/ext.c

5414

resched_cpu(cpu);

kernel/sched/sched.h

2960

extern void resched_cpu(int cpu);