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_lock_buflist()

Type Parameter Key Value
PARAM_VALUE 0 submit 8229992110717202432
PARAM_VALUE 0 submit->buf 16,4096-ptr_max
PARAM_VALUE 0 submit->buflist 0,4096-ptr_max
PARAM_VALUE 0 submit->exbuf 4096-ptr_max
PARAM_VALUE 0 submit->file 4096-ptr_max
PARAM_VALUE 0 submit->in_syncobjs 0,16,4096-ptr_max
PARAM_VALUE 0 submit->num_in_syncobjs 0-s32max
PARAM_VALUE 0 submit->num_out_syncobjs 0-s32max
PARAM_VALUE 0 submit->out_fence_fd (-1)-s32max
PARAM_VALUE 0 submit->ring_idx 0-4294967294
PARAM_VALUE 0 submit->vfpriv 4096-ptr_max
PARAM_VALUE 0 submit->vgdev 4096-ptr_max
NOSPEC 0 submit->ring_idx
MEM_ZERO 0 submit
USER_DATA 0 submit->num_in_syncobjs 1-s32max[c]
USER_DATA 0 submit->num_out_syncobjs 1-s32max[c]
USER_DATA 0 submit->ring_idx 0-s32max[c]
USER_PTR 0 submit->buf
USER_PTR 0 submit->exbuf