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_recv() -> nvkm_falcon_msgq_exec()

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
PARAM_VALUE 1 hdr 2636848426386542592
PARAM_VALUE 1 hdr->size 0-128
BUF_SIZE 1 hdr 128
BUF_SIZE 1 hdr 128
CAPPED_DATA 0 msgq->qmgr->falcon->owner 1
DATA_SOURCE 0 msgq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 msgq->offset 0-u32max
HOST_DATA 0 msgq->position 0-u32max
HOST_DATA 1 *hdr 0-255
HALF_LOCKED2 &device->intr.lock