Olivier Houchard 931624a00b BUG/MEDIUM: tasks: Don't forget to decrement task_list_size in tasklet_free().
In tasklet_free(), if we're currently in the runnable task list, don't
forget to decrement taks_list_size, or it'll end up being to big, and we may
not process tasks in the global runqueue.
2018-09-12 17:37:55 +02:00
..
2018-04-26 14:19:33 +02:00
2018-09-06 18:52:15 +02:00
2009-01-25 13:49:53 +01:00
2017-10-31 03:49:44 +01:00