Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_prepare_imported_obj() -> virtio_gpu_object_attach()

Type Parameter Key Value
PARAM_VALUE 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->sgt 4096-ptr_max
PARAM_VALUE 1 obj->sgt->nents 0
PARAM_VALUE 1 obj->sgt->orig_nents 0
PARAM_VALUE 2 ents 16,4096-ptr_max
PARAM_VALUE 3 nents 0
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 obj->sgt->nents
NO_OVERFLOW_SIMPLE 3 nents
UNITS 0 vgdev unit_byte
LOCK2 resv

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_object_create() -> virtio_gpu_object_attach()

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->ddev 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->driver 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576
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->huge_mnt->mnt_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->mpol->refcnt.counter s32min-s32max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-1)
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner_cpu 4294967295
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.raw_lock.val.counter s32min-s32max
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
PARAM_VALUE 0 *vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->base.base.dev->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 obj->base.base.filp->f_mapping->host->i_mapping 4096-ptr_max
PARAM_VALUE 1 obj->base.base.resv->fences->max_fences 0-4294967295
PARAM_VALUE 1 obj->base.base.resv->lock.base.dep_map->name 0-255
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 obj->base.base.resv->lock.ctx 0
PARAM_VALUE 1 obj->base.pages_mark_accessed_on_put 0
PARAM_VALUE 1 obj->base.pages_mark_dirty_on_put 0
PARAM_VALUE 1 obj->base.sgt 4096-ptr_max
PARAM_VALUE 1 obj->base.sgt->nents 0-s32max
PARAM_VALUE 1 obj->created 1
PARAM_VALUE 1 obj->dumb 0
PARAM_VALUE 1 obj->restore_node.next 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.next->next 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.prev 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.prev->next 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.prev->prev 4096-ptr_max
PARAM_VALUE 2 ents 16,4096-ptr_max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
CAPPED_DATA 1 obj->base.base.resv->fences 1
DATA_SOURCE 0 vgdev $0
RX_PATH
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_object_create() -> virtio_gpu_object_attach()

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->ddev 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->driver 4096-ptr_max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576
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->huge_mnt->mnt_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->mpol->refcnt.counter s32min-s32max
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-1)
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner_cpu 4294967295
PARAM_VALUE 0 vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.raw_lock.val.counter s32min-s32max
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
PARAM_VALUE 0 *vgdev->ddev->huge_mnt->mnt_sb->s_fs_info->stat_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->base.base.dev->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 obj->base.base.filp->f_mapping->host->i_mapping 4096-ptr_max
PARAM_VALUE 1 obj->base.base.resv->fences->max_fences 0-4294967295
PARAM_VALUE 1 obj->base.base.resv->lock.base.dep_map->name 0-255
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 obj->base.base.resv->lock.ctx 0
PARAM_VALUE 1 obj->base.pages_mark_accessed_on_put 0
PARAM_VALUE 1 obj->base.pages_mark_dirty_on_put 0
PARAM_VALUE 1 obj->base.sgt 4096-ptr_max
PARAM_VALUE 1 obj->base.sgt->nents 0-s32max
PARAM_VALUE 1 obj->created 1
PARAM_VALUE 1 obj->restore_node.next 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.next->next 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.prev 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.prev->next 4096-ptr_max
PARAM_VALUE 1 obj->restore_node.prev->prev 4096-ptr_max
PARAM_VALUE 2 ents 16,4096-ptr_max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->vbufs 1
CAPPED_DATA 1 obj->base.base.resv->fences 1
DATA_SOURCE 0 vgdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_object_restore_all() -> virtio_gpu_object_attach()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->hibernated 0
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.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
PARAM_VALUE 0 vgdev->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->attached 0
PARAM_VALUE 1 obj->base.base.dev->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 obj->base.base.import_attach 0
PARAM_VALUE 1 obj->base.base.resv->fences->max_fences 0-4294967295
PARAM_VALUE 1 obj->base.base.resv->lock.base.dep_map->name 0-255
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 obj->base.base.resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 obj->base.base.resv->lock.ctx 0
PARAM_VALUE 1 obj->base.sgt 4096-ptr_max
PARAM_VALUE 1 obj->base.sgt->nents 0-s32max
PARAM_VALUE 1 obj->created 1
PARAM_VALUE 1 obj->params.blob 0
PARAM_VALUE 2 ents 16,4096-ptr_max
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
CAPPED_DATA 1 obj->base.base.resv->fences 1
CAPPED_DATA 1 &obj->restore_node 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