sched_ttwu_pending 2289 kernel/sched/core.c void sched_ttwu_pending(void)
sched_ttwu_pending 1472 kernel/sched/sched.h static inline void sched_ttwu_pending(void) { }