Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/workqueue.c apply_wqattrs_commit() -> copy_workqueue_attrs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->wq->mutex
LOCK2 global &wq_pool_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct workqueue_struct)->mutex

kernel/workqueue.c apply_wqattrs_prepare() -> copy_workqueue_attrs()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 0 to->__pod_cpumask 1-u64max
PARAM_VALUE 0 to->affn_scope 0
PARAM_VALUE 0 to->cpumask 1-u64max
PARAM_VALUE 1 from 4096-ptr_max
PARAM_VALUE 1 from->affn_scope 0-6
BUF_SIZE 0 to (-1),40
BUF_SIZE 0 to (-1),40
BUF_SIZE 1 from (-1),40
BUF_SIZE 1 from (-1),40
DATA_SOURCE 0 to r alloc_workqueue_attrs_noprof
DATA_SOURCE 1 from $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &wq_pool_mutex
HALF_LOCKED2 &of->mutex

kernel/workqueue.c apply_wqattrs_prepare() -> copy_workqueue_attrs()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 0 to->__pod_cpumask 1-u64max
PARAM_VALUE 0 to->affn_scope 0-6
PARAM_VALUE 0 to->cpumask 1-u64max
PARAM_VALUE 1 from 4096-ptr_max
PARAM_VALUE 1 from->affn_scope 0-6
BUF_SIZE 0 to (-1),40
BUF_SIZE 0 to (-1),40
BUF_SIZE 1 from (-1),40
BUF_SIZE 1 from (-1),40
DATA_SOURCE 0 to r alloc_workqueue_attrs_noprof
DATA_SOURCE 1 from $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &wq_pool_mutex
HALF_LOCKED2 &of->mutex

kernel/workqueue.c get_unbound_pool() -> copy_workqueue_attrs()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 0 to->__pod_cpumask 1-u64max
PARAM_VALUE 0 to->affn_scope 7
PARAM_VALUE 0 to->cpumask 1-u64max
PARAM_VALUE 0 to->ordered 0
PARAM_VALUE 1 from 4096-ptr_max
BUF_SIZE 1 from (-1),40
BUF_SIZE 1 from (-1),40
DATA_SOURCE 1 from $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &wq_pool_mutex

kernel/workqueue.c unbound_wq_update_pwq() -> copy_workqueue_attrs()

Type Parameter Key Value
PARAM_VALUE 0 to 0,4096-ptr_max
PARAM_VALUE 1 from 4096-ptr_max
PARAM_VALUE 1 from->ordered 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &wq_pool_mutex

kernel/workqueue.c wq_sysfs_prep_attrs() -> copy_workqueue_attrs()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 0 to->__pod_cpumask 1-u64max
PARAM_VALUE 0 to->affn_scope 0
PARAM_VALUE 0 to->cpumask 1-u64max
BUF_SIZE 0 to (-1),40
BUF_SIZE 0 to (-1),40
DATA_SOURCE 0 to r alloc_workqueue_attrs_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 global &wq_pool_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex