Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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

drivers/dma/idxd/device.c idxd_wqs_setup() -> wq_shared_supported()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &idxd->dev_lock
HALF_LOCKED2 &wq->wq_lock
TYPE_LOCK (struct idxd_device)->dev_lock