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_cleanup_submit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | submit | 8229992110717202432 |
| PARAM_VALUE | 0 | submit->buf | 0,16,4096-ptr_max,(-14),(-12) |
| PARAM_VALUE | 0 | submit->buflist | 0,4096-ptr_max |
| PARAM_VALUE | 0 | submit->exbuf | 0,4096-ptr_max |
| PARAM_VALUE | 0 | submit->file | 0,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 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | submit->vgdev | 0,4096-ptr_max |
| MEM_ZERO | 0 | submit | |
| NOCHECK_CALL | |||
| 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 |