Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_prime.c virtgpu_dma_buf_free_obj() -> virtio_gpu_cleanup_object()

Type Parameter Key Value
PARAM_VALUE 0 bo 4096-ptr_max
PARAM_VALUE 0 bo->created 0
NOCHECK_CALL
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file_priv->prime.lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_unref_cb() -> virtio_gpu_cleanup_object()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_unref_resource() -> virtio_gpu_cleanup_object()

Type Parameter Key Value
PARAM_VALUE 0 bo 4096-ptr_max
PARAM_VALUE 0 bo->created 1
DATA_SOURCE 0 bo $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vgdev->obj_restore_lock

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_free_object() -> virtio_gpu_cleanup_object()

Type Parameter Key Value
PARAM_VALUE 0 bo 4096-ptr_max
PARAM_VALUE 0 bo->base.base.dev 4096-ptr_max
PARAM_VALUE 0 bo->created 0
NOCHECK_CALL