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