Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_alloc_cmd() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgdev->ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | vgdev->vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 1 | cb | 0 |
| PARAM_VALUE | 2 | vbuffer_p | 4096-ptr_max |
| PARAM_VALUE | 3 | cmd_size | 24,32,40,48,56,72,96 |
| PARAM_VALUE | 4 | resp_size | 24 |
| PARAM_VALUE | 5 | resp_buf | 0 |
| BUF_SIZE | 0 | vgdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vgdev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 2 | vbuffer_p | $1 |
| DATA_SOURCE | 3 | cmd_size | $2 |
| STR_LEN | 0 | vgdev | (-1)-64 |
| STR_LEN | 0 | vgdev | (-1)-64 |
| HARD_MAX | 3 | cmd_size | 96 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vgdev->vbufs->object_size | |
| UNITS | 0 | vgdev | unit_byte |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
| HALF_LOCKED2 | &vfpriv->context_lock | ||
| HALF_LOCKED2 | 0 | &vgdev->obj_restore_lock |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_alloc_cmd_cb() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | vbuffer_p | 6823307481361702912 |
| PARAM_VALUE | 3 | cmd_size | 32 |
| PARAM_VALUE | 4 | resp_size | 24 |
| PARAM_VALUE | 5 | resp_buf | 0 |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 1 | cb | $3 |
| DATA_SOURCE | 2 | vbuffer_p | $1 |
| DATA_SOURCE | 3 | cmd_size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vgdev | unit_byte |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
| HALF_LOCKED2 | 0 | &vgdev->obj_restore_lock |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_get_capset() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->capsets | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->display_info_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vgdev->num_capsets | 1-u32max |
| PARAM_VALUE | 1 | cb | 5563114428141043712 |
| PARAM_VALUE | 2 | vbuffer_p | 5913652855888605184 |
| PARAM_VALUE | 3 | cmd_size | 32 |
| PARAM_VALUE | 4 | resp_size | 24-4000000 |
| PARAM_VALUE | 5 | resp_buf | 4096-ptr_max |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| BUF_SIZE | 5 | resp_buf | 24-4000024 |
| BUF_SIZE | 5 | resp_buf | 24-4000024 |
| CAPPED_DATA | 0 | vgdev->num_capsets | 1 |
| CAPPED_DATA | 0 | &vgdev->cap_cache | 1 |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 5 | resp_buf | r _kzalloc_noprof |
| UNITS | 0 | vgdev | unit_byte |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_get_capset_info() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cap_cache.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->capsets | 1-u64max |
| PARAM_VALUE | 0 | vgdev->ctrlq.ack_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ctrlq.ack_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ctrlq.ack_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ctrlq.ack_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ctrlq.ack_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ctx_id_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | vgdev->ctx_id_ida.xa.xa_head | 0 |
| PARAM_VALUE | 0 | vgdev->cursorq.ack_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cursorq.ack_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cursorq.ack_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cursorq.ack_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->cursorq.ack_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | vgdev->ddev->managed.resources.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev->managed.resources.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev->managed.resources.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | vgdev->ddev->mode_config.funcs->atomic_state_alloc | 0,4313866966076465152,8746944527109378048 |
| PARAM_VALUE | 0 | vgdev->ddev->mode_config.funcs->atomic_state_clear | 0,3327168810821279744,3688275810139275264 |
| PARAM_VALUE | 0 | vgdev->ddev->mode_config.funcs->atomic_state_free | 0,358897174564036608,2978086218190217216 |
| PARAM_VALUE | 0 | vgdev->ddev->mode_config.funcs->get_format_info | 0,4744930813722337280,7691603805021310976 |
| PARAM_VALUE | 0 | vgdev->fence_drv.fences.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->fence_drv.fences.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->fence_drv.fences.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->fence_drv.fences.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->fence_drv.fences.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->num_scanouts | 0-16 |
| PARAM_VALUE | 0 | vgdev->obj_free_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_free_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_free_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_free_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_free_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_restore_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_restore_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_restore_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_restore_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_restore_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_restore_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vgdev->obj_restore_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | vgdev->obj_restore_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->obj_restore_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | vgdev->resource_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | vgdev->resource_ida.xa.xa_head | 0 |
| PARAM_VALUE | 0 | vgdev->resp_wq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->resp_wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->resp_wq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vbufs | 1-u64max |
| PARAM_VALUE | 0 | vgdev->vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vgdev->vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | cb | 2892074406528434176 |
| PARAM_VALUE | 2 | vbuffer_p | 9149839941341089792 |
| PARAM_VALUE | 3 | cmd_size | 32 |
| PARAM_VALUE | 4 | resp_size | 40 |
| PARAM_VALUE | 5 | resp_buf | 4096-ptr_max |
| BUF_SIZE | 5 | resp_buf | 40 |
| BUF_SIZE | 5 | resp_buf | 40 |
| CAPPED_DATA | 0 | vgdev->num_scanouts | 1 |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 5 | resp_buf | r _kzalloc_noprof |
| FUZZY_MAX | 0 | vgdev->num_scanouts | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | vgdev->blob_alignment | 0-u32max |
| HOST_DATA | 0 | vgdev->host_visible_mm.head_node.size | 0-u64max |
| HOST_DATA | 0 | vgdev->host_visible_region.addr | 0-18446744073709551614[c] |
| HOST_DATA | 0 | vgdev->num_scanouts | 1-15[c] |
| NO_OVERFLOW_SIMPLE | 0 | vgdev->ddev->num_crtcs | |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_get_display_info() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | vgdev->ddev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | vgdev->num_scanouts | 1-u32max |
| PARAM_VALUE | 0 | vgdev->vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vgdev->vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | cb | 1106031792052002816 |
| PARAM_VALUE | 2 | vbuffer_p | 9068495533789564928 |
| PARAM_VALUE | 3 | cmd_size | 24 |
| PARAM_VALUE | 4 | resp_size | 408 |
| PARAM_VALUE | 5 | resp_buf | 4096-ptr_max |
| BUF_SIZE | 0 | vgdev->ddev | (-1),3696 |
| BUF_SIZE | 5 | resp_buf | 408 |
| BUF_SIZE | 5 | resp_buf | 408 |
| CAPPED_DATA | 0 | vgdev->num_scanouts | 1 |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 5 | resp_buf | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | vgdev->blob_alignment | 0-u32max |
| HOST_DATA | 0 | vgdev->host_visible_mm.head_node.size | 0-u64max |
| HOST_DATA | 0 | vgdev->host_visible_region.addr | 0-18446744073709551614[c] |
| HOST_DATA | 0 | vgdev->num_capsets | 1-u32max[c] |
| HOST_DATA | 0 | vgdev->num_scanouts | 1-15[c] |
| NO_OVERFLOW_SIMPLE | 0 | vgdev->ddev->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | vgdev->num_capsets | |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_get_edids() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | vgdev->ddev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | vgdev->has_edid | 1 |
| PARAM_VALUE | 0 | vgdev->num_scanouts | 1-u32max |
| PARAM_VALUE | 0 | vgdev->vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vgdev->vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 1 | cb | 8546337484051750912 |
| PARAM_VALUE | 2 | vbuffer_p | 2195772307239923712 |
| PARAM_VALUE | 3 | cmd_size | 32 |
| PARAM_VALUE | 4 | resp_size | 1056 |
| PARAM_VALUE | 5 | resp_buf | 4096-ptr_max |
| BUF_SIZE | 0 | vgdev->ddev | (-1),3696 |
| BUF_SIZE | 5 | resp_buf | 1056 |
| BUF_SIZE | 5 | resp_buf | 1056 |
| CAPPED_DATA | 0 | vgdev->num_scanouts | 1 |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 5 | resp_buf | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | vgdev->blob_alignment | 0-u32max |
| HOST_DATA | 0 | vgdev->host_visible_mm.head_node.size | 0-u64max |
| HOST_DATA | 0 | vgdev->host_visible_region.addr | 0-18446744073709551614[c] |
| HOST_DATA | 0 | vgdev->num_capsets | 1-u32max[c] |
| HOST_DATA | 0 | vgdev->num_scanouts | 1-15[c] |
| NO_OVERFLOW_SIMPLE | 0 | vgdev->ddev->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | vgdev->num_capsets | |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_map() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->has_host_visible | 1 |
| PARAM_VALUE | 0 | vgdev->host_visible_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | vbuffer_p | 3406952518171394048 |
| PARAM_VALUE | 3 | cmd_size | 40 |
| PARAM_VALUE | 4 | resp_size | 32 |
| PARAM_VALUE | 5 | resp_buf | 4096-ptr_max |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| BUF_SIZE | 5 | resp_buf | 32 |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 5 | resp_buf | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vgdev | unit_byte |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
| HALF_LOCKED2 | global &map_lock |
drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_cmd_resource_assign_uuid() -> virtio_gpu_alloc_cmd_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vgdev->ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 2 | vbuffer_p | 122264498247159808 |
| PARAM_VALUE | 3 | cmd_size | 32 |
| PARAM_VALUE | 4 | resp_size | 40 |
| PARAM_VALUE | 5 | resp_buf | 4096-ptr_max |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vgdev | s32min-(-2),1-s32max |
| BUF_SIZE | 5 | resp_buf | 40 |
| DATA_SOURCE | 0 | vgdev | $0 |
| DATA_SOURCE | 5 | resp_buf | r _kzalloc_noprof |
| UNITS | 0 | vgdev | unit_byte |
| UNITS | 3 | cmd_size | unit_byte |
| UNITS | 4 | resp_size | unit_byte |
| HALF_LOCKED2 | &dev->object_name_lock | ||
| HALF_LOCKED2 | &file_priv->prime.lock |