Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/idxd/device.c idxd_drv_disable_wq() -> idxd_wq_reset()

Type Parameter Key Value
PARAM_VALUE 0 wq 4096-ptr_max
PARAM_VALUE 0 wq->idxd 4096-ptr_max
PARAM_VALUE 0 wq->idxd->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 wq->idxd_cdev->idxd_dev.conf_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 wq->portal 0
PARAM_VALUE 0 wq->portal_offset 0
PARAM_VALUE 0 wq->wq_lock.dep_map->name 0-255
PARAM_VALUE 0 wq->wq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wq->wq_lock.wait_lock.dep_map->name 0-255
BUF_SIZE 0 wq->wq (-1),512,528-8720
DATA_SOURCE 0 wq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wq->idxd->cmd_status 0-255
HOST_DATA 0 wq->ie.int_handle 0-u16max
NO_OVERFLOW_SIMPLE 0 wq->idxd->max_wqs
LOCK2 0 &wq->wq_lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &iaa_devices_lock
TYPE_LOCK (struct idxd_wq)->wq_lock