Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/workqueue.c __alloc_workqueue() -> alloc_and_link_pwqs()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
PARAM_VALUE 0 wq->attrs 4096-ptr_max
PARAM_VALUE 0 wq->attrs->__pod_cpumask 1-u64max
PARAM_VALUE 0 wq->attrs->affn_scope 0
PARAM_VALUE 0 wq->attrs->cpumask 1-u64max
PARAM_VALUE 0 wq->flags 0,2-u32max
PARAM_VALUE 0 wq->flusher_overflow.next 4096-ptr_max
PARAM_VALUE 0 wq->flusher_overflow.next->next 4096-ptr_max
PARAM_VALUE 0 wq->flusher_overflow.prev 4096-ptr_max
PARAM_VALUE 0 wq->flusher_overflow.prev->next 4096-ptr_max
PARAM_VALUE 0 wq->flusher_overflow.prev->prev 4096-ptr_max
PARAM_VALUE 0 wq->flusher_queue.next 4096-ptr_max
PARAM_VALUE 0 wq->flusher_queue.next->next 4096-ptr_max
PARAM_VALUE 0 wq->flusher_queue.prev 4096-ptr_max
PARAM_VALUE 0 wq->flusher_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 wq->flusher_queue.prev->prev 4096-ptr_max
PARAM_VALUE 0 wq->list.next 4096-ptr_max
PARAM_VALUE 0 wq->list.next->next 4096-ptr_max
PARAM_VALUE 0 wq->list.prev 4096-ptr_max
PARAM_VALUE 0 wq->list.prev->next 4096-ptr_max
PARAM_VALUE 0 wq->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 wq->max_active 1-2048,s32max
PARAM_VALUE 0 wq->maydays.next 4096-ptr_max
PARAM_VALUE 0 wq->maydays.next->next 4096-ptr_max
PARAM_VALUE 0 wq->maydays.prev 4096-ptr_max
PARAM_VALUE 0 wq->maydays.prev->next 4096-ptr_max
PARAM_VALUE 0 wq->maydays.prev->prev 4096-ptr_max
PARAM_VALUE 0 wq->min_active 1-8
PARAM_VALUE 0 wq->mutex.dep_map->name 0-255
PARAM_VALUE 0 wq->mutex.first_waiter 0
PARAM_VALUE 0 wq->mutex.magic 4096-ptr_max
PARAM_VALUE 0 wq->mutex.osq.tail.counter 0
PARAM_VALUE 0 wq->mutex.owner.counter 0
PARAM_VALUE 0 wq->name 0
PARAM_VALUE 0 wq->node_nr_active 0
PARAM_VALUE 0 wq->nr_pwqs_to_flush.counter 0
PARAM_VALUE 0 wq->pwqs.next 4096-ptr_max
PARAM_VALUE 0 wq->pwqs.next->next 4096-ptr_max
PARAM_VALUE 0 wq->pwqs.prev 4096-ptr_max
PARAM_VALUE 0 wq->pwqs.prev->next 4096-ptr_max
PARAM_VALUE 0 wq->pwqs.prev->prev 4096-ptr_max
PARAM_VALUE 0 wq->saved_max_active 1-2048,s32max
PARAM_VALUE 0 wq->saved_min_active 1-8
PARAM_VALUE 0 *wq->name 0-127
BUF_SIZE 0 wq 512,528-8720
BUF_SIZE 0 wq 512,528-8720
BUF_SIZE 0 wq->attrs 40
BUF_SIZE 0 wq->node_nr_active 0,16-8208
CAPPED_DATA 0 wq->min_active 1
CAPPED_DATA 0 wq->saved_min_active 1
DATA_SOURCE 0 wq r _kzalloc_noprof
MEM_ZERO 0 wq
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wq->name
LOCK2 global &wq_pool_mutex