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_ioctl.c virtio_gpu_transfer_from_host_ioctl() -> virtio_gpu_array_lock_resv()

Type Parameter Key Value
PARAM_VALUE 0 objs 4096-ptr_max
PARAM_VALUE 0 objs->nents 1
PARAM_VALUE 0 objs->objs 4096-ptr_max
PARAM_VALUE 0 objs->total 1
BUF_SIZE 0 objs 184-s32max
BUF_SIZE 0 objs 184-s32max
DATA_SOURCE 0 objs r virtio_gpu_array_from_handles
USER_DATA 0 objs->total 1[u]

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_to_host_ioctl() -> virtio_gpu_array_lock_resv()

Type Parameter Key Value
PARAM_VALUE 0 objs 4096-ptr_max
PARAM_VALUE 0 objs->nents 1
PARAM_VALUE 0 objs->objs 4096-ptr_max
PARAM_VALUE 0 objs->total 1
BUF_SIZE 0 objs 184-s32max
BUF_SIZE 0 objs 184-s32max
DATA_SOURCE 0 objs r virtio_gpu_array_from_handles
USER_DATA 0 objs->total 1[u]

drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_lock_buflist() -> virtio_gpu_array_lock_resv()

Type Parameter Key Value
PARAM_VALUE 0 objs 4096-ptr_max

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_object_create() -> virtio_gpu_array_lock_resv()

Type Parameter Key Value
PARAM_VALUE 0 objs 4096-ptr_max
PARAM_VALUE 0 objs->nents 1
PARAM_VALUE 0 objs->total 1
BUF_SIZE 0 objs 184-s32max
BUF_SIZE 0 objs 184-s32max
DATA_SOURCE 0 objs r virtio_gpu_array_alloc
RX_PATH