Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_execbuffer_ioctl() -> virtio_gpu_init_submit()

Type Parameter Key Value
PARAM_VALUE 0 submit 8229992110717202432
PARAM_VALUE 1 exbuf 4096-ptr_max
PARAM_VALUE 1 exbuf->flags 0-6
PARAM_VALUE 2 dev 4096-ptr_max
PARAM_VALUE 2 dev->dev_private 4096-ptr_max
PARAM_VALUE 2 dev->dev_private->ctrlq.qlock.rlock.dep_map->name 0-255
PARAM_VALUE 2 dev->dev_private->ctrlq.seqno 0-4294967295
PARAM_VALUE 2 dev->dev_private->pending_commands.counter s32min-s32max
PARAM_VALUE 2 dev->dev_private->vbufs->object_size 0-4294967295
PARAM_VALUE 2 dev->unplugged 0
PARAM_VALUE 3 file 4096-ptr_max
PARAM_VALUE 3 file->driver_priv 4096-ptr_max
PARAM_VALUE 3 file->driver_priv->context_created 1
PARAM_VALUE 3 file->driver_priv->context_lock.dep_map->name 0-255
PARAM_VALUE 3 file->driver_priv->context_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 3 file->driver_priv->context_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 3 file->driver_priv->context_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 3 file->driver_priv->context_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 3 file->driver_priv->context_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 3 file->driver_priv->context_lock.osq.tail.counter 0-s32max
PARAM_VALUE 3 file->master_lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 file->minor 4096-ptr_max
PARAM_VALUE 3 file->minor->dev 4096-ptr_max
PARAM_VALUE 5 ring_idx 0-4294967294
BUF_SIZE 1 exbuf 128-16383
BUF_SIZE 1 exbuf 128-16383
BUF_SIZE 3 file s32min-(-2),1-s32max
BUF_SIZE 3 file s32min-(-2),1-s32max
CAPPED_DATA 2 dev->dev_private->vbufs 1
CAPPED_DATA 5 ring_idx 1
DATA_SOURCE 1 exbuf $1
DATA_SOURCE 2 dev $0
DATA_SOURCE 3 file $2
FUZZY_MAX 5 ring_idx 0
NOSPEC 5 ring_idx
NOSPEC 5 ring_idx
USER_DATA 1 exbuf->bo_handles 0-u64max[u]
USER_DATA 1 exbuf->command 0-u64max[u]
USER_DATA 1 exbuf->fence_fd s32min-s32max[u]
USER_DATA 1 exbuf->flags 0-6[u]
USER_DATA 1 exbuf->in_syncobjs 0-u64max[u]
USER_DATA 1 exbuf->num_bo_handles 0-u32max[u]
USER_DATA 1 exbuf->num_in_syncobjs 0-u32max[u]
USER_DATA 1 exbuf->num_out_syncobjs 0-u32max[u]
USER_DATA 1 exbuf->out_syncobjs 0-u64max[u]
USER_DATA 1 exbuf->ring_idx 0-u32max
USER_DATA 1 exbuf->size 0-u32max[u]
USER_DATA 1 exbuf->syncobj_stride 0-u32max[u]
USER_DATA 5 ring_idx 0-s32max[c]
UNITS 2 dev unit_byte
UNITS 5 ring_idx unit_array_size
USER_PTR 1 exbuf