Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/nouveau/nvkm/falcon/msgq.c nvkm_falcon_msgq_read() -> nvkm_falcon_msgq_close()

Type Parameter Key Value
PARAM_VALUE 0 msgq 4096-ptr_max
PARAM_VALUE 0 msgq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msgq->qmgr 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon->func->emem_addr 0,16777216
PARAM_VALUE 0 msgq->qmgr->falcon->owner 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon->owner->device 4096-ptr_max
CAPPED_DATA 0 msgq->qmgr->falcon->owner 1
DATA_SOURCE 0 msgq $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 msgq->offset 0-u32max
HOST_DATA 0 msgq->position 0-u32max
LOCK2 0 &msgq->lock
HALF_LOCKED2 &device->intr.lock
TYPE_LOCK (struct nvkm_falcon_msgq)->lock

drivers/gpu/drm/nouveau/nvkm/falcon/msgq.c nvkm_falcon_msgq_recv_initmsg() -> nvkm_falcon_msgq_close()

Type Parameter Key Value
PARAM_VALUE 0 msgq 4096-ptr_max
PARAM_VALUE 0 msgq->head_reg 0,1224,2608,3200
PARAM_VALUE 0 msgq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msgq->qmgr 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon->func 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon->func->emem_addr 0,16777216
PARAM_VALUE 0 msgq->qmgr->falcon->owner 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon->owner->device 4096-ptr_max
PARAM_VALUE 0 msgq->tail_reg 0,1228,2612,3204
CAPPED_DATA 0 msgq->qmgr->falcon->owner 1
DATA_SOURCE 0 msgq $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 msgq->offset 0-u32max
HOST_DATA 0 msgq->position 0-u32max
LOCK2 0 &msgq->lock
HALF_LOCKED2 &device->intr.lock
TYPE_LOCK (struct nvkm_falcon_msgq)->lock