Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 submit 8229992110717202432
PARAM_VALUE 0 submit->exbuf 4096-ptr_max
PARAM_VALUE 0 submit->exbuf->flags 0-6
PARAM_VALUE 0 submit->file 4096-ptr_max
PARAM_VALUE 0 submit->file->driver_priv 4096-ptr_max
PARAM_VALUE 0 submit->file->minor 4096-ptr_max
PARAM_VALUE 0 submit->out_fence 0,4096-ptr_max
PARAM_VALUE 0 submit->out_fence->drv 4096-ptr_max
PARAM_VALUE 0 submit->out_fence->f.cb_list.next 4096-ptr_max
PARAM_VALUE 0 submit->out_fence->f.cb_list.prev 4096-ptr_max
PARAM_VALUE 0 submit->out_fence->f.error 0
PARAM_VALUE 0 submit->out_fence->f.extern_lock 1-u64max
PARAM_VALUE 0 submit->out_fence->f.flags 1,3,5,7
PARAM_VALUE 0 submit->out_fence->f.ops 5370990546352951296
PARAM_VALUE 0 submit->out_fence->f.refcount.refcount.refs.counter 1
PARAM_VALUE 0 submit->out_fence->f.seqno 0
PARAM_VALUE 0 submit->out_fence->ring_idx 0-4294967294
PARAM_VALUE 0 submit->out_fence_fd (-1)
PARAM_VALUE 0 submit->ring_idx 0-4294967294
PARAM_VALUE 0 submit->vfpriv 4096-ptr_max
PARAM_VALUE 0 submit->vgdev 4096-ptr_max
BUF_SIZE 0 submit->exbuf 128-16383
BUF_SIZE 0 submit->file s32min-(-2),1-s32max
BUF_SIZE 0 submit->out_fence 0,184
BUF_SIZE 0 submit->vfpriv 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
BUF_SIZE 0 submit->vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 submit->ring_idx 1
DATA_SOURCE 0 submit $0
NOSPEC 0 submit->ring_idx
MEM_ZERO 0 submit
USER_DATA 0 submit->exbuf->bo_handles 0-u64max[u]
USER_DATA 0 submit->exbuf->command 0-u64max[u]
USER_DATA 0 submit->exbuf->fence_fd s32min-s32max[u]
USER_DATA 0 submit->exbuf->flags 0-6[u]
USER_DATA 0 submit->exbuf->in_syncobjs 0-u64max[u]
USER_DATA 0 submit->exbuf->num_bo_handles 0-u32max[u]
USER_DATA 0 submit->exbuf->num_in_syncobjs 0-u32max[u]
USER_DATA 0 submit->exbuf->num_out_syncobjs 0-u32max[u]
USER_DATA 0 submit->exbuf->out_syncobjs 0-u64max[u]
USER_DATA 0 submit->exbuf->ring_idx 0-u32max
USER_DATA 0 submit->exbuf->size 0-u32max[u]
USER_DATA 0 submit->exbuf->syncobj_stride 0-u32max[u]
USER_DATA 0 submit->out_fence->f.seqno 0
USER_DATA 0 submit->out_fence->ring_idx 0-s32max[c]
USER_DATA 0 submit->ring_idx 0-s32max[c]
USER_PTR 0 submit->exbuf