Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_init() -> virtio_gpu_alloc_vbufs()

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->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->dev 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->managed.resources.next 4096-ptr_max
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->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 4096-ptr_max
PARAM_VALUE 0 vgdev->resp_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->resp_wq.head.prev 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->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_shm_region 0,2525218589895086080,3831783894439149568
PARAM_VALUE 0 vgdev->vdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 vgdev->vdev->priv 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 0 vgdev->vdev->vqs_list_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 vgdev->ddev 3696
DATA_SOURCE 0 vgdev r drmm_kzalloc
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]
NO_OVERFLOW_SIMPLE 0 vgdev->host_visible_region.addr
NO_OVERFLOW_SIMPLE 0 vgdev->host_visible_region.len