clear_tsk_need_resched
clear_tsk_need_resched(curr);
clear_tsk_need_resched(tsk);
clear_tsk_need_resched(prev);