Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_context_attach_resource() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 1 vbuffer_p 2514818376734584832
PARAM_VALUE 2 size 32
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file->driver_priv->mutex
HALF_LOCKED2 &file->prime.lock
HALF_LOCKED2 &obj->dev->object_name_lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_context_create() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 1 vbuffer_p 7782243860959490048
PARAM_VALUE 2 size 96
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
STR_LEN 0 vgdev 0-64
STR_LEN 0 vgdev 0-64
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
LOCK2 &vfpriv->context_lock
TYPE_LOCK (struct virtio_gpu_fpriv)->context_lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_context_destroy() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 1 vbuffer_p 4983568090307067904
PARAM_VALUE 2 size 24
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_context_detach_resource() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 1 vbuffer_p 52459471023566848
PARAM_VALUE 2 size 32
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &dev->object_name_lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_create_resource() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 vbuffer_p 4626741344955199488
PARAM_VALUE 2 size 40
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 0 &vgdev->obj_restore_lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_resource_attach_backing() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 vbuffer_p 6530312596277923840
PARAM_VALUE 2 size 32
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vgdev->vbufs->object_size
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 resv
HALF_LOCKED2 0 &vgdev->obj_restore_lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_resource_create_3d() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->driver 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->huge_mnt 0,4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->mpol->refcnt.counter s32min-s32max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-1)
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner_cpu 4294967295
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 *vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 vbuffer_p 9136863412999876608
PARAM_VALUE 2 size 72
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_resource_create_blob() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 vbuffer_p 1211953594499760128
PARAM_VALUE 2 size 56
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vgdev->vbufs->object_size
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file_priv->prime.lock
HALF_LOCKED2 resv
HALF_LOCKED2 0 &vgdev->obj_restore_lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_resource_detach_backing() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 1 vbuffer_p 8195196534282440704
PARAM_VALUE 2 size 32
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 dmabuf->resv

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_resource_flush() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 1 vbuffer_p 3898467796301877248
PARAM_VALUE 2 size 48
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 irq

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_set_scanout() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 1 vbuffer_p 6304609298180055040
PARAM_VALUE 2 size 48
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_set_scanout_blob() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 1 vbuffer_p 1107301090649677824
PARAM_VALUE 2 size 96
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 irq

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_submit() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 1 vbuffer_p 3031633258091098112
PARAM_VALUE 2 size 32
BUF_SIZE 0 vgdev s32min-(-1),1-s32max
BUF_SIZE 0 vgdev s32min-(-1),1-s32max
DATA_SOURCE 0 vgdev $0
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_transfer_from_host_3d() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 1 vbuffer_p 2453635119939534848
PARAM_VALUE 2 size 72
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_transfer_to_host_2d() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 1 vbuffer_p 5366903451548495872
PARAM_VALUE 2 size 56
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_transfer_to_host_3d() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 1 vbuffer_p 4837320321817497600
PARAM_VALUE 2 size 72
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_unmap() -> virtio_gpu_alloc_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->host_visible_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 vbuffer_p 670399728699518976
PARAM_VALUE 2 size 32
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
DATA_SOURCE 0 vgdev $0
UNITS 0 vgdev unit_byte
UNITS 2 size unit_byte