Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/workqueue.c assign_rescuer_work() -> assign_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 1 worker 4096-ptr_max
PARAM_VALUE 1 worker->node.next 4096-ptr_max
PARAM_VALUE 1 worker->pool 4096-ptr_max
PARAM_VALUE 1 worker->pool->workers.prev 4096-ptr_max
PARAM_VALUE 2 nextp 1516031008434524160
PARAM_VALUE 2 *nextp 4096-ptr_max
BUF_SIZE 1 worker 128
BUF_SIZE 1 worker 128
CAPPED_DATA 0 &work->entry 1
CAPPED_DATA 1 worker->task 1
DATA_SOURCE 1 worker $1
LOCK2 &pool->lock
LOCK2 irq
TYPE_LOCK (struct worker_pool)->lock

kernel/workqueue.c bh_worker() -> assign_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 1 worker 4096-ptr_max
PARAM_VALUE 1 worker->pool 4096-ptr_max
PARAM_VALUE 1 worker->pool->lock.dep_map->name 0-255
PARAM_VALUE 1 worker->pool->nr_running 0-1
PARAM_VALUE 2 nextp 0
CAPPED_DATA 1 &worker->scheduled 1
DATA_SOURCE 1 worker $0
PREEMPT_ADD <- disables preempt
LOCK2 &pool->lock
LOCK2 irq
TYPE_LOCK (struct worker_pool)->lock

kernel/workqueue.c worker_thread() -> assign_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 1 worker 4096-ptr_max
PARAM_VALUE 1 worker->pool->lock.dep_map->name 0-255
PARAM_VALUE 1 worker->pool->nr_idle 0-1
PARAM_VALUE 1 worker->pool->nr_running 0-1
PARAM_VALUE 2 nextp 0
BUF_SIZE 1 worker 128
BUF_SIZE 1 worker 128
CAPPED_DATA 1 &worker->scheduled 1
DATA_SOURCE 1 worker $0
PREEMPT_ADD <- disables preempt
LOCK2 &pool->lock
LOCK2 irq
TYPE_LOCK (struct worker_pool)->lock