Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_context_init_ioctl() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->has_context_init 1
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte
LOCK2 &vfpriv->context_lock
TYPE_LOCK (struct virtio_gpu_fpriv)->context_lock

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_get_caps_ioctl() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 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
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->num_capsets 1
CAPPED_DATA 0 &vgdev->cap_cache 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_from_host_ioctl() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_to_host_ioctl() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_display.c virtio_gpu_crtc_atomic_disable() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/virtio/virtgpu_display.c virtio_gpu_crtc_mode_set_nofb() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/virtio/virtgpu_prime.c virtgpu_dma_buf_free_obj() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file_priv->prime.lock

drivers/gpu/drm/virtio/virtgpu_prime.c virtgpu_gem_prime_export() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->has_resource_assign_uuid 1
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte
LOCK2 &dev->object_name_lock
LOCK2 &file_priv->prime.lock
TYPE_LOCK (struct drm_device)->object_name_lock
TYPE_LOCK (struct drm_prime_file_private)->lock

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_gpu_queue_ctrl_sgs() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vgdev->ctrlq.vq->num_free 0-1048577
PARAM_VALUE 0 vgdev->ddev 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
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->ddev->unplugged 0
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
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->config->get_status 4096-ptr_max
PARAM_VALUE 0 vgdev->vdev->config->set_status 4096-ptr_max
BUF_SIZE 0 vgdev s32min-(-1),1-s32max
BUF_SIZE 0 vgdev s32min-(-1),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
DATA_SOURCE 0 vgdev $0
STR_LEN 0 vgdev (-1)-64
STR_LEN 0 vgdev (-1)-64
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 67108869
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 67108868
HOST_DATA 0 vgdev->ddev->num_crtcs 1-15[c]
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
NO_OVERFLOW_SIMPLE 0 vgdev->vbufs->object_size
UNITS 0 vgdev unit_byte
LOCK2 global &drm_unplug_srcu
HALF_LOCKED2 0 &vgdev->obj_restore_lock

drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_cursor_plane_update() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &vkms_output->lock
HALF_LOCKED2 irq

drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_primary_plane_update() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &vkms_output->lock
HALF_LOCKED2 irq

drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_resource_flush() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 irq

drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_resource_flush() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 irq

drivers/gpu/drm/virtio/virtgpu_gem.c virtio_gpu_gem_object_close() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &dev->object_name_lock

drivers/gpu/drm/virtio/virtgpu_gem.c virtio_gpu_gem_object_open() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file->driver_priv->mutex
HALF_LOCKED2 &file->prime.lock
HALF_LOCKED2 &obj->dev->object_name_lock

drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_config_changed_work_func() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
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->get 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_driver_postclose() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->has_virgl_3d 1
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_get_capsets() -> virtio_gpu_notify()

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,1640,1720,1808,1816,2632,2640,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->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
CAPPED_DATA 0 vgdev->num_scanouts 1
CAPPED_DATA 0 vgdev->vbufs 1
DATA_SOURCE 0 vgdev $0
FUZZY_MAX 0 vgdev->num_scanouts 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

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

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->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1808,2632,2648
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->managed.resources.next->prev->next 1-u64max
PARAM_VALUE 0 vgdev->ddev->managed.resources.next->prev->prev 1-u64max
PARAM_VALUE 0 vgdev->ddev->mode_config.blob_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vgdev->ddev->mode_config.blob_lock.dep_map->name 0-255
PARAM_VALUE 0 vgdev->ddev->mode_config.colorop_list.next->next 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_list.next->next 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->next 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->next->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->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->next->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->next 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.funcs->atomic_check 1368670792239554560
PARAM_VALUE 0 vgdev->ddev->mode_config.funcs->atomic_commit 9025212985888776192
PARAM_VALUE 0 vgdev->ddev->mode_config.funcs->fb_create 8848301211585777664
PARAM_VALUE 0 vgdev->ddev->mode_config.idr_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
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.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.mutex.dep_map->name 0-255
PARAM_VALUE 0 vgdev->ddev->mode_config.plane_list.next->next 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->next->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->next 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->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->next 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->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->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->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
CAPPED_DATA 0 vgdev->num_scanouts 1
CAPPED_DATA 0 vgdev->vbufs 1
DATA_SOURCE 0 vgdev r drmm_kzalloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->host_visible_region.addr
NO_OVERFLOW_SIMPLE 0 vgdev->host_visible_region.len
NO_OVERFLOW_SIMPLE 0 vgdev->num_capsets

drivers/gpu/drm/virtio/virtgpu_vram.c virtio_gpu_vram_free() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vgdev->host_visible_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_vram.c virtio_gpu_vram_mmap() -> virtio_gpu_notify()

Type Parameter Key Value
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &info->mm_lock

drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_submit() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_detach_object_fenced() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 dmabuf->resv

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_free_object() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
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->next->next 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_object_unref_all() -> virtio_gpu_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.qlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vgdev->hibernated 1
PARAM_VALUE 0 vgdev->obj_restore_lock.dep_map->name 0-255
PARAM_VALUE 0 vgdev->obj_restore_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vgdev->obj_restore_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vgdev->obj_restore_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vgdev->obj_restore_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vgdev->obj_restore_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 vgdev->obj_restore_lock.wait_lock.owner (-1)
PARAM_VALUE 0 vgdev->obj_restore_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
CAPPED_DATA 0 &vgdev->obj_restore_list 1
CAPPED_DATA 0 &vgdev->obj_restore_lock 1
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
LOCK2 0 &vgdev->obj_restore_lock
TYPE_LOCK (struct virtio_gpu_device)->obj_restore_lock