Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_prime.c virtgpu_dma_buf_init_obj() -> virtgpu_dma_buf_free_obj()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->_resv.lock.base.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->_resv.lock.ww_class | 8825623990767841280 |
| PARAM_VALUE | 0 | obj->filp | 0 |
| PARAM_VALUE | 0 | obj->funcs | 4729814806068948992 |
| PARAM_VALUE | 0 | obj->gpuva.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->gpuva.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->gpuva.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->import_attach | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->lru_node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->lru_node.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | obj->resv | 1-u64max |
| PARAM_VALUE | 0 | obj->vma_node.vm_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | obj->vma_node.vm_lock.owner | (-1) |
| PARAM_VALUE | 0 | obj->vma_node.vm_lock.owner_cpu | u32max |
| NOCHECK_CALL | |||
| LOCK2 | &dev->object_name_lock | ||
| LOCK2 | &file_priv->prime.lock | ||
| HALF_LOCKED2 | &p->mutex | ||
| TYPE_LOCK | (struct drm_device)->object_name_lock | ||
| TYPE_LOCK | (struct drm_prime_file_private)->lock |
drivers/gpu/drm/virtio/virtgpu_prime.c virtgpu_dma_buf_init_obj() -> virtgpu_dma_buf_free_obj()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->_resv.lock.base.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->_resv.lock.ww_class | 8825623990767841280 |
| PARAM_VALUE | 0 | obj->filp | 0 |
| PARAM_VALUE | 0 | obj->funcs | 4729814806068948992 |
| PARAM_VALUE | 0 | obj->gpuva.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->gpuva.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->gpuva.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->import_attach | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->lru_node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->lru_node.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | obj->resv | 1-u64max |
| PARAM_VALUE | 0 | obj->vma_node.vm_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | obj->vma_node.vm_lock.owner | (-1) |
| PARAM_VALUE | 0 | obj->vma_node.vm_lock.owner_cpu | u32max |
| NOCHECK_CALL | |||
| LOCK2 | &dev->object_name_lock | ||
| LOCK2 | &file_priv->prime.lock | ||
| HALF_LOCKED2 | &p->mutex | ||
| TYPE_LOCK | (struct drm_device)->object_name_lock | ||
| TYPE_LOCK | (struct drm_prime_file_private)->lock |
drivers/gpu/drm/drm_gem.c drm_gem_object_free() -> (struct drm_gem_object_funcs)->free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | obj | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->funcs | 4096-ptr_max |
| PARAM_VALUE | 0 | obj->funcs->free | 4096-ptr_max |
| CONTAINER | 0 | -0-672+0 | $(-1) |
| NOCHECK_CALL |