Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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->owner 4096-ptr_max
PARAM_VALUE 0 msgq->qmgr->falcon->owner->device 4096-ptr_max
DATA_SOURCE 0 msgq $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
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/engine/sec2/gp102.c gp102_sec2_intr() -> nvkm_falcon_msgq_empty()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msgq->offset 0-4294967295
LOCK2 &device->intr.lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct nvkm_device)->intr.lock