set_tsk_need_resched 1234 kernel/sched.c 	set_tsk_need_resched(p);
set_tsk_need_resched 1489 kernel/sched_rt.c 		set_tsk_need_resched(p);