worker_ida        173 kernel/workqueue.c 	struct ida		worker_ida;	/* worker IDs for task name */
worker_ida       1916 kernel/workqueue.c 	id = ida_simple_get(&pool->worker_ida, 0, 0, GFP_KERNEL);
worker_ida       1954 kernel/workqueue.c 		ida_simple_remove(&pool->worker_ida, id);
worker_ida       2377 kernel/workqueue.c 		ida_simple_remove(&pool->worker_ida, worker->id);
worker_ida       3437 kernel/workqueue.c 	ida_init(&pool->worker_ida);
worker_ida       3506 kernel/workqueue.c 	ida_destroy(&pool->worker_ida);