vgdev_output_init identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/gpu/drm/virtio/virtgpu_display.c, line 274 (as a function)

Referenced in 1 files:

drivers/gpu/drm/virtio/virtgpu_display.c, line 382

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_display.c virtio_gpu_modeset_init() -> vgdev_output_init()

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->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->managed.resources.next->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.blob_lock.dep_map->name	0-255
PARAM_VALUE	0	vgdev->ddev->mode_config.colorop_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.colorop_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.colorop_list.prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.colorop_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.colorop_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connection_mutex.head.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connection_mutex.head.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connection_mutex.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connector_ida.xa.xa_flags	33554437
PARAM_VALUE	0	vgdev->ddev->mode_config.connector_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connector_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connector_list.prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connector_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.connector_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.crtc_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.crtc_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.crtc_list.prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.crtc_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.crtc_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.encoder_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.encoder_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.encoder_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.encoder_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_list.prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_lock.dep_map->name	0-255
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_lock.magic	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.fb_modifiers_not_supported	1
PARAM_VALUE	0	vgdev->ddev->mode_config.funcs	6198782083818393600
PARAM_VALUE	0	vgdev->ddev->mode_config.helper_private->atomic_commit_tail	0,113,4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.dep_map->name	0-255
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	vgdev->ddev->mode_config.idr_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	vgdev->ddev->mode_config.max_height	8192
PARAM_VALUE	0	vgdev->ddev->mode_config.max_width	8192
PARAM_VALUE	0	vgdev->ddev->mode_config.min_height	32
PARAM_VALUE	0	vgdev->ddev->mode_config.min_width	32
PARAM_VALUE	0	vgdev->ddev->mode_config.mutex.dep_map->name	0-255
PARAM_VALUE	0	vgdev->ddev->mode_config.mutex.magic	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.num_colorop	0
PARAM_VALUE	0	vgdev->ddev->mode_config.num_connector	0
PARAM_VALUE	0	vgdev->ddev->mode_config.num_crtc	s32min-32
PARAM_VALUE	0	vgdev->ddev->mode_config.num_fb	0
PARAM_VALUE	0	vgdev->ddev->mode_config.num_total_plane	s32min-32
PARAM_VALUE	0	vgdev->ddev->mode_config.object_idr.idr_base	1
PARAM_VALUE	0	vgdev->ddev->mode_config.plane_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.plane_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.plane_list.prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.plane_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.plane_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.privobj_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.privobj_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.privobj_list.prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.privobj_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.privobj_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_blob_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_blob_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_blob_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_blob_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_list.next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_list.next->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_list.prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.property_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vgdev->ddev->mode_config.quirk_addfb_prefer_host_byte_order	1
PARAM_VALUE	0	vgdev->ddev->mode_config.tile_idr.idr_base	1
PARAM_VALUE	0	vgdev->ddev->mode_config.tile_idr.idr_rt.xa_flags	33554436
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	1-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	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->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->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
PARAM_VALUE	1	index	0-15
BUF_SIZE	0	vgdev->ddev	3696
BUF_SIZE	0	vgdev->ddev->mode_config.funcs	64
CAPPED_DATA	0	vgdev->num_scanouts	1
CAPPED_DATA	1	index	1
DATA_SOURCE	0	vgdev	$0
PARAM_COMPARE	1	index	< $0->num_scanouts
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	vgdev->blob_alignment	0-u32max
HOST_DATA	0	vgdev->ddev->mode_config.connector_ida.xa.xa_flags	33554437
HOST_DATA	0	vgdev->ddev->mode_config.object_idr.idr_rt.xa_flags	0-u32max
HOST_DATA	0	vgdev->ddev->mode_config.tile_idr.idr_rt.xa_flags	33554436
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]