Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/omapdrm/omap_gem.c omap_gem_new_dmabuf() -> omap_gem_free_object()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->_resv.fences 0
PARAM_VALUE 0 obj->_resv.lock.base.dep_map->name 0-255
PARAM_VALUE 0 obj->_resv.lock.base.first_waiter 0
PARAM_VALUE 0 obj->_resv.lock.base.magic 4096-ptr_max
PARAM_VALUE 0 obj->_resv.lock.base.osq.tail.counter 0
PARAM_VALUE 0 obj->_resv.lock.base.owner.counter 0
PARAM_VALUE 0 obj->_resv.lock.ctx 0
PARAM_VALUE 0 obj->_resv.lock.ww_class 8825623990767841280
PARAM_VALUE 0 obj->_resv.lock.ww_class->acquire_name 4096-ptr_max
PARAM_VALUE 0 obj->_resv.lock.ww_class->is_wait_die 0-s32max
PARAM_VALUE 0 obj->_resv.lock.ww_class->mutex_name 4096-ptr_max
PARAM_VALUE 0 obj->dev 4096-ptr_max
PARAM_VALUE 0 obj->filp 0,4096-ptr_max
PARAM_VALUE 0 obj->filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 obj->filp->f_mapping->gfp_mask 1051844
PARAM_VALUE 0 obj->funcs 8428423579271348224
PARAM_VALUE 0 obj->gpuva.lock.dep_map->name 0-255
PARAM_VALUE 0 obj->gpuva.lock.first_waiter 0
PARAM_VALUE 0 obj->gpuva.lock.magic 4096-ptr_max
PARAM_VALUE 0 obj->gpuva.lock.osq.tail.counter 0
PARAM_VALUE 0 obj->gpuva.lock.owner.counter 0
PARAM_VALUE 0 obj->handle_count 0
PARAM_VALUE 0 obj->lru_node.next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.next->next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev->next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 obj->refcount.refcount.refs.counter 1
PARAM_VALUE 0 obj->resv 1-u64max
PARAM_VALUE 0 obj->resv->fences 0
PARAM_VALUE 0 obj->resv->lock.base.first_waiter 0
PARAM_VALUE 0 obj->resv->lock.base.magic 4096-ptr_max
PARAM_VALUE 0 obj->resv->lock.base.osq.tail.counter 0
PARAM_VALUE 0 obj->resv->lock.base.owner.counter 0
PARAM_VALUE 0 obj->resv->lock.ctx 0
PARAM_VALUE 0 obj->resv->lock.ww_class 8825623990767841280
PARAM_VALUE 0 obj->size 0-u32max
PARAM_VALUE 0 obj->vma_node.driver_private 0
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
PARAM_VALUE 0 obj->vma_node.vm_lock.raw_lock.wlocked 0
PARAM_VALUE 0 obj->vma_node.vm_node.__subtree_last 0
PARAM_VALUE 0 obj->vma_node.vm_node.color 0
PARAM_VALUE 0 obj->vma_node.vm_node.flags 0
PARAM_VALUE 0 obj->vma_node.vm_node.hole_size 0
PARAM_VALUE 0 obj->vma_node.vm_node.hole_stack.next 0
PARAM_VALUE 0 obj->vma_node.vm_node.hole_stack.prev 0
PARAM_VALUE 0 obj->vma_node.vm_node.mm 0
PARAM_VALUE 0 obj->vma_node.vm_node.node_list.next 0
PARAM_VALUE 0 obj->vma_node.vm_node.node_list.prev 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb.__rb_parent_color 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb.rb_left 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb.rb_right 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_addr.__rb_parent_color 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_addr.rb_left 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_addr.rb_right 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_size.__rb_parent_color 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_size.rb_left 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_size.rb_right 0
PARAM_VALUE 0 obj->vma_node.vm_node.size 0
PARAM_VALUE 0 obj->vma_node.vm_node.stack 0
PARAM_VALUE 0 obj->vma_node.vm_node.start 0
PARAM_VALUE 0 obj->vma_node.vm_node.subtree_max_hole 0
BUF_SIZE 0 obj 704
DATA_SOURCE 0 obj r omap_gem_new
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 obj->dev->num_crtcs
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/omapdrm/omap_gem.c omap_gem_new_dmabuf() -> omap_gem_free_object()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->_resv.fences 0
PARAM_VALUE 0 obj->_resv.lock.base.dep_map->name 0-255
PARAM_VALUE 0 obj->_resv.lock.base.first_waiter 0
PARAM_VALUE 0 obj->_resv.lock.base.magic 4096-ptr_max
PARAM_VALUE 0 obj->_resv.lock.base.osq.tail.counter 0
PARAM_VALUE 0 obj->_resv.lock.base.owner.counter 0
PARAM_VALUE 0 obj->_resv.lock.ctx 0
PARAM_VALUE 0 obj->_resv.lock.ww_class 8825623990767841280
PARAM_VALUE 0 obj->_resv.lock.ww_class->acquire_name 4096-ptr_max
PARAM_VALUE 0 obj->_resv.lock.ww_class->is_wait_die 0-s32max
PARAM_VALUE 0 obj->_resv.lock.ww_class->mutex_name 4096-ptr_max
PARAM_VALUE 0 obj->dev 4096-ptr_max
PARAM_VALUE 0 obj->filp 0,4096-ptr_max
PARAM_VALUE 0 obj->filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 obj->filp->f_mapping->gfp_mask 1051844
PARAM_VALUE 0 obj->funcs 8428423579271348224
PARAM_VALUE 0 obj->gpuva.lock.dep_map->name 0-255
PARAM_VALUE 0 obj->gpuva.lock.first_waiter 0
PARAM_VALUE 0 obj->gpuva.lock.magic 4096-ptr_max
PARAM_VALUE 0 obj->gpuva.lock.osq.tail.counter 0
PARAM_VALUE 0 obj->gpuva.lock.owner.counter 0
PARAM_VALUE 0 obj->handle_count 0
PARAM_VALUE 0 obj->lru_node.next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.next->next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev->next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 obj->refcount.refcount.refs.counter 1
PARAM_VALUE 0 obj->resv 1-u64max
PARAM_VALUE 0 obj->resv->fences 0
PARAM_VALUE 0 obj->resv->lock.base.first_waiter 0
PARAM_VALUE 0 obj->resv->lock.base.magic 4096-ptr_max
PARAM_VALUE 0 obj->resv->lock.base.osq.tail.counter 0
PARAM_VALUE 0 obj->resv->lock.base.owner.counter 0
PARAM_VALUE 0 obj->resv->lock.ctx 0
PARAM_VALUE 0 obj->resv->lock.ww_class 8825623990767841280
PARAM_VALUE 0 obj->size 0-u32max
PARAM_VALUE 0 obj->vma_node.driver_private 0
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
PARAM_VALUE 0 obj->vma_node.vm_lock.raw_lock.wlocked 0
PARAM_VALUE 0 obj->vma_node.vm_node.__subtree_last 0
PARAM_VALUE 0 obj->vma_node.vm_node.color 0
PARAM_VALUE 0 obj->vma_node.vm_node.flags 0
PARAM_VALUE 0 obj->vma_node.vm_node.hole_size 0
PARAM_VALUE 0 obj->vma_node.vm_node.hole_stack.next 0
PARAM_VALUE 0 obj->vma_node.vm_node.hole_stack.prev 0
PARAM_VALUE 0 obj->vma_node.vm_node.mm 0
PARAM_VALUE 0 obj->vma_node.vm_node.node_list.next 0
PARAM_VALUE 0 obj->vma_node.vm_node.node_list.prev 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb.__rb_parent_color 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb.rb_left 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb.rb_right 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_addr.__rb_parent_color 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_addr.rb_left 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_addr.rb_right 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_size.__rb_parent_color 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_size.rb_left 0
PARAM_VALUE 0 obj->vma_node.vm_node.rb_hole_size.rb_right 0
PARAM_VALUE 0 obj->vma_node.vm_node.size 0
PARAM_VALUE 0 obj->vma_node.vm_node.stack 0
PARAM_VALUE 0 obj->vma_node.vm_node.start 0
PARAM_VALUE 0 obj->vma_node.vm_node.subtree_max_hole 0
BUF_SIZE 0 obj 704
DATA_SOURCE 0 obj r omap_gem_new
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 obj->dev->num_crtcs
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/omapdrm/omap_gem.c omap_gem_new_handle() -> omap_gem_free_object()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->_resv.lock.base.dep_map->name 0-255
PARAM_VALUE 0 obj->_resv.lock.ww_class->acquire_name 4096-ptr_max
PARAM_VALUE 0 obj->_resv.lock.ww_class->is_wait_die 0-s32max
PARAM_VALUE 0 obj->_resv.lock.ww_class->mutex_name 4096-ptr_max
PARAM_VALUE 0 obj->dev->object_name_lock.dep_map->name 0-255
PARAM_VALUE 0 obj->dev->object_name_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 obj->dev->object_name_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 obj->dev->object_name_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 obj->dev->object_name_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 obj->dev->object_name_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 obj->dev->object_name_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 obj->dev->object_name_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 obj->filp->f_mapping 4096-ptr_max
PARAM_VALUE 0 obj->filp->f_mapping->gfp_mask 1051844
PARAM_VALUE 0 obj->gpuva.lock.dep_map->name 0-255
PARAM_VALUE 0 obj->lru_node.next->next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev->next 4096-ptr_max
PARAM_VALUE 0 obj->lru_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 obj->name 0
PARAM_VALUE 0 obj->resv->fences 0
PARAM_VALUE 0 obj->resv->lock.base.first_waiter 0
PARAM_VALUE 0 obj->resv->lock.base.magic 4096-ptr_max
PARAM_VALUE 0 obj->resv->lock.base.osq.tail.counter 0
PARAM_VALUE 0 obj->resv->lock.base.owner.counter 0
PARAM_VALUE 0 obj->resv->lock.ctx 0
PARAM_VALUE 0 obj->resv->lock.ww_class 8825623990767841280
PARAM_VALUE 0 obj->vma_node.vm_files.rb_node 4096-ptr_max
PARAM_VALUE 0 obj->vma_node.vm_lock.dep_map->name 0-255
PARAM_VALUE 0 *obj->dma_buf->file->f_cred->user->uidhash_node.next->pprev 1-u64max
BUF_SIZE 0 obj 704
DATA_SOURCE 0 obj r omap_gem_new
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 obj->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 obj->dev->num_crtcs

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