Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- drivers/gpu/drm/virtio/virtgpu_gem.c
- drivers/gpu/drm/virtio/virtgpu_ioctl.c
- drivers/gpu/drm/virtio/virtgpu_object.c, line 283
- drivers/gpu/drm/virtio/virtgpu_plane.c
- drivers/gpu/drm/virtio/virtgpu_submit.c, line 341
- drivers/gpu/drm/virtio/virtgpu_vq.c, line 1384
- drivers/gpu/drm/virtio/virtgpu_vram.c, line 183
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_from_host_ioctl() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 1 |
| PARAM_VALUE | 0 | objs->objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->acquire_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->mutex_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | objs->total | 1 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| DATA_SOURCE | 0 | objs | r virtio_gpu_array_from_handles |
| NOCHECK_CALL | |||
| USER_DATA | 0 | objs->total | 1[u] |
drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_to_host_ioctl() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 1 |
| PARAM_VALUE | 0 | objs->objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->acquire_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->mutex_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | objs->total | 1 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| DATA_SOURCE | 0 | objs | r virtio_gpu_array_from_handles |
| NOCHECK_CALL | |||
| USER_DATA | 0 | objs->total | 1[u] |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_resource_assign_uuid() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 1 |
| PARAM_VALUE | 0 | objs->objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->total | 1 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| DATA_SOURCE | 0 | objs | $1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->object_name_lock | ||
| HALF_LOCKED2 | &file_priv->prime.lock |
drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_cursor_plane_update() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 1 |
| PARAM_VALUE | 0 | objs->ticket.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | objs->ticket.first_lock_dep_map->name | 0-255 |
| PARAM_VALUE | 0 | objs->total | 1 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| DATA_SOURCE | 0 | objs | r virtio_gpu_array_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vkms_output->lock | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_resource_flush() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 1 |
| PARAM_VALUE | 0 | objs->ticket.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | objs->ticket.first_lock_dep_map->name | 0-255 |
| PARAM_VALUE | 0 | objs->total | 1 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| DATA_SOURCE | 0 | objs | r virtio_gpu_array_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/virtio/virtgpu_gem.c virtio_gpu_array_from_handles() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 0-536870910 |
| PARAM_VALUE | 0 | objs->objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->total | 1-536870911 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| CAPPED_DATA | 0 | objs->nents | 1 |
| DATA_SOURCE | 0 | objs | r virtio_gpu_array_alloc |
| NOCHECK_CALL | |||
| USER_DATA | 0 | objs->total | 1-536870911[u] |
drivers/gpu/drm/virtio/virtgpu_gem.c virtio_gpu_array_put_free_work() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/gpu/drm/virtio/virtgpu_vram.c virtio_gpu_vram_map() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 1 |
| PARAM_VALUE | 0 | objs->total | 1 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| DATA_SOURCE | 0 | objs | r virtio_gpu_array_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &map_lock |
drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_cleanup_submit() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| NOCHECK_CALL |
drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_object_create() -> virtio_gpu_array_put_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objs | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->nents | 1 |
| PARAM_VALUE | 0 | objs->ticket.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | objs->ticket.first_lock_dep_map->name | 0-255 |
| PARAM_VALUE | 0 | objs->ticket.wounded | 0-1 |
| PARAM_VALUE | 0 | objs->ticket.ww_class->acquire_name | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | objs->ticket.ww_class->mutex_name | 4096-ptr_max |
| PARAM_VALUE | 0 | objs->total | 1 |
| BUF_SIZE | 0 | objs | 184-s32max |
| BUF_SIZE | 0 | objs | 184-s32max |
| DATA_SOURCE | 0 | objs | r virtio_gpu_array_alloc |
| RX_PATH | |||
| NOCHECK_CALL |