sched_ttwu_pending 1554 kernel/sched/core.c 	sched_ttwu_pending();
sched_ttwu_pending 2334 kernel/sched/core.c 	sched_ttwu_pending();
sched_ttwu_pending 6476 kernel/sched/core.c 	sched_ttwu_pending();
sched_ttwu_pending  286 kernel/sched/idle.c 	sched_ttwu_pending();
sched_ttwu_pending 1329 kernel/sched/sched.h extern void sched_ttwu_pending(void);