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 |