/* Schedule a cull of the thread pool at some time in the near future  */
static void slow_work_schedule_cull(void)
/* Schedule a cull of the thread pool at some time in the near future  */
static void slow_work_schedule_cull(void)
{
	mod_timer(&slow_work_cull_timer,
		  round_jiffies(jiffies + SLOW_WORK_CULL_TIMEOUT));
}