Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 flags 131082
PARAM_VALUE 2 max_active 1
PARAM_VALUE 3 *args 1368055732351766528
BUF_SIZE 0 fmt s32min,(-10),(-1)-s32max
BUF_SIZE 0 fmt s32min,(-10),(-1)-s32max
BUF_SIZE 3 args 8
BUF_SIZE 3 args 8
DATA_SOURCE 0 fmt $0
DATA_SOURCE 1 flags $1
DATA_SOURCE 2 max_active $2
STR_LEN 0 fmt (-1),10-11,15,18
STR_LEN 0 fmt (-1),10-11,15,18
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &init_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &drm_unplug_srcu

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

Type Parameter Key Value
BUF_SIZE 0 fmt (-1),3,11,15
BUF_SIZE 0 fmt (-1),3,11,15
BUF_SIZE 3 args 4
BUF_SIZE 3 args 4
DATA_SOURCE 0 fmt $0
DATA_SOURCE 1 flags $1
DATA_SOURCE 2 max_active $2
DATA_SOURCE 3 args $3
RX_PATH
TASK_NOT_RUNNING