Searched refs:task_notify_todo (Results 1 – 3 of 3) sorted by relevance
67 int task_notify_todo; variable174 task_notify_todo++; in wakeupjob()238 --task_notify_todo; in do_task_notify()
206 if (task_notify_todo) in softclock()233 } while (task_notify_todo); in softclock()
686 extern int task_notify_todo; /* Task notifier needs running */