Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/dma/idxd/irq.c idxd_int_handle_revoke() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
CAPPED_DATA 0 &wq->wq_lock 1
DATA_SOURCE 0 wq r ie_to_wq
HALF_LOCKED2 &pool->lock

drivers/dma/idxd/irq.c idxd_int_handle_revoke_drain() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
DATA_SOURCE 0 wq r ie_to_wq
HALF_LOCKED2 &pool->lock

drivers/dma/idxd/cdev.c idxd_cdev_open() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
CAPPED_DATA 0 &wq->wq_lock 1
DATA_SOURCE 0 wq r inode_wq
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &wq->wq_lock
TYPE_LOCK (struct idxd_wq)->wq_lock

drivers/dma/idxd/cdev.c idxd_cdev_open() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
CAPPED_DATA 0 &wq->uc_lock 1
CAPPED_DATA 0 &wq->wq_lock 1
DATA_SOURCE 0 wq r inode_wq
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &wq->wq_lock
TYPE_LOCK (struct idxd_wq)->wq_lock

drivers/dma/idxd/cdev.c idxd_submit_user_descriptor() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max

drivers/dma/idxd/sysfs.c wq_enqcmds_retries_show() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
DATA_SOURCE 0 wq r confdev_to_wq
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dma/idxd/sysfs.c wq_enqcmds_retries_store() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
DATA_SOURCE 0 wq r confdev_to_wq
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dma/idxd/sysfs.c wq_mode_show() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
DATA_SOURCE 0 wq r confdev_to_wq
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dma/idxd/device.c idxd_drv_enable_wq() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
BUF_SIZE 0 wq->wq (-1),512,528-8720
DATA_SOURCE 0 wq $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &wq->wq_lock
TYPE_LOCK (struct idxd_wq)->wq_lock

drivers/dma/idxd/device.c idxd_wq_alloc_resources() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
BUF_SIZE 0 wq->wq (-1),512,528-8720
DATA_SOURCE 0 wq $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 wq->idxd->cmd_status 0-255
HOST_DATA 0 wq->ie.int_handle 0-u16max
LOCK2 0 &wq->wq_lock
TYPE_LOCK (struct idxd_wq)->wq_lock

drivers/dma/idxd/device.c idxd_wq_config_write() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
BUF_SIZE 0 wq->wq (-1),512,528-8720
DATA_SOURCE 0 wq $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 wq->idxd->cmd_status 0-255
HALF_LOCKED2 &idxd->dev_lock
HALF_LOCKED2 0 &wq->wq_lock

drivers/dma/idxd/device.c idxd_wq_config_write() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
BUF_SIZE 0 wq->wq (-1),512,528-8720
DATA_SOURCE 0 wq $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 wq->idxd->cmd_status 0-255
HALF_LOCKED2 &idxd->dev_lock
HALF_LOCKED2 0 &wq->wq_lock

drivers/dma/idxd/submit.c idxd_submit_desc() -> wq_dedicated()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
DATA_SOURCE 0 wq $0
RX_PATH
TASK_NOT_RUNNING