Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_dequeue_ctrl_func() -> reclaim_vbufs()

Type Parameter Key Value
PARAM_VALUE 1 reclaim_list 1844458099920195584
PARAM_VALUE 1 reclaim_list->next 1844458099920195584
PARAM_VALUE 1 reclaim_list->prev 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vgdev->ctrlq.qlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_gpu_queue)->qlock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_dequeue_cursor_func() -> reclaim_vbufs()

Type Parameter Key Value
PARAM_VALUE 1 reclaim_list 8008615447735762944
PARAM_VALUE 1 reclaim_list->next 8008615447735762944
PARAM_VALUE 1 reclaim_list->prev 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vgdev->cursorq.qlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_gpu_queue)->qlock