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

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->out_fence_fd (-1)-s32max
PARAM_VALUE 0 submit->sync_file 0,4096-ptr_max
NOSPEC 0 submit->ring_idx
MEM_ZERO 0 submit
NOCHECK_CALL
USER_DATA 0 submit->num_in_syncobjs 1-s32max[c]
USER_DATA 0 submit->ring_idx 0-s32max[c]
USER_PTR 0 submit->buf
USER_PTR 0 submit->exbuf