Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_parse_deps() -> virtio_gpu_dma_fence_wait()
| 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 |
| PARAM_VALUE | 0 | submit->num_in_syncobjs | 0 |
| 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 |
| PARAM_VALUE | 1 | fence | 1-u64max |
| PARAM_VALUE | 1 | fence->node.node.next | 0 |
| PARAM_VALUE | 1 | fence->node.node.prev | 0 |
| PARAM_VALUE | 1 | fence->ops->set_deadline | 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424 |
| PARAM_VALUE | 1 | fence->ops->wait | 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936 |
| PARAM_VALUE | 1 | fence->rcu.entry.next | s64max |
| PARAM_VALUE | 1 | fence->rcu.flags | 0-4294967295 |
| PARAM_VALUE | 1 | fence->rcu.is_hard | 0-1 |
| PARAM_VALUE | 1 | fence->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 1 | fence->rcu.is_queued | 0-1 |
| PARAM_VALUE | 1 | fence->rcu.is_soft | 0-1 |
| DATA_SOURCE | 0 | submit | $0 |
| NOSPEC | 0 | submit->ring_idx | |
| MEM_ZERO | 0 | submit | |
| 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 |
drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_wait_in_fence() -> virtio_gpu_dma_fence_wait()
| 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->exbuf->flags | 1-u32max |
| 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 |
| PARAM_VALUE | 1 | fence | 4096-ptr_max |
| DATA_SOURCE | 0 | submit | $0 |
| DATA_SOURCE | 1 | fence | r sync_file_get_fence |
| BIT_INFO | 0 | submit->exbuf->flags | 0x1,0xffffffff |
| 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 |