resched_task 1156 kernel/sched.c static void resched_task(struct task_struct *p) resched_task 1231 kernel/sched.c static void resched_task(struct task_struct *p)