Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/nvidia/tegra-vde/vde.c tegra_vde_remove() -> tegra_vde_dmabuf_cache_unmap_all()

Type Parameter Key Value
PARAM_VALUE 0 vde 4096-ptr_max
PARAM_VALUE 0 vde->clk 0,4096-u64max
PARAM_VALUE 0 vde->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 vde->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 vde->clk->core->dev->power.request 0-4
PARAM_VALUE 0 vde->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 vde->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 vde->clk->core->dev->power.runtime_status 0,2
PARAM_VALUE 0 vde->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 vde->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 vde->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 vde->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 vde->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 vde->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 vde->clk->core->parent->dev->power.request 0-4294967295
PARAM_VALUE 0 vde->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 vde->clk->core->parent->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 vde->clk->core->parent->dev->power.runtime_status 0,2
PARAM_VALUE 0 vde->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 vde->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 vde->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 vde->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 vde->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 vde->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 vde->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 vde->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 vde->m2m 4096-ptr_max
PARAM_VALUE 0 vde->m2m->proc.graph_obj.mdev 0
PARAM_VALUE 0 vde->m2m->proc.num_backlinks 0
PARAM_VALUE 0 vde->m2m->proc.num_links 0
PARAM_VALUE 0 vde->m2m->sink.graph_obj.mdev 0
PARAM_VALUE 0 vde->m2m->sink.num_backlinks 0
PARAM_VALUE 0 vde->m2m->sink.num_links 0
PARAM_VALUE 0 vde->mdev->media_dir->d_inode->i_sb->s_fs_info->s_first_error_func 0-255
PARAM_VALUE 0 vde->mdev->media_dir->d_inode->i_sb->s_fs_info->s_last_error_func 0-255
PARAM_VALUE 0 vde->mdev.devnode 0,4096-ptr_max
PARAM_VALUE 0 vde->mdev.entity_internal_idx_max 0
PARAM_VALUE 0 vde->mdev.graph_mutex.dep_map->name 0-255
PARAM_VALUE 0 vde->mdev.graph_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vde->mdev.graph_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vde->mdev.graph_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vde->mdev.graph_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vde->mdev.graph_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vde->mdev.graph_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 vde->mdev.graph_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vde->mdev.graph_mutex.magic 0
PARAM_VALUE 0 vde->mdev.media_dir->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 vde->mdev.media_dir->d_sib->next->pprev 1-u64max
PARAM_VALUE 0 vde->mdev.req_queue_mutex.magic 0
PARAM_VALUE 0 vde->secure_bo 4096-ptr_max
PARAM_VALUE 0 vde->secure_bo->dma_cookie->_refcount.counter s32min-s32max
PARAM_VALUE 0 vde->secure_bo->dma_cookie->page_type 0-4294967295
PARAM_VALUE 0 vde->secure_bo->vde->dev 4096-ptr_max
PARAM_VALUE 0 vde->secure_bo->vde->dev->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vde->secure_bo->vde->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 vde->secure_bo->vde->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vde->secure_bo->vde->dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 vde->secure_bo->vde->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vde->secure_bo->vde->dev->flags 4096-ptr_max
PARAM_VALUE 0 vde->secure_bo->vde->iova.iova_rbtree_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vde->secure_bo->vde->iova.max32_alloc_size 1-u64max
PARAM_VALUE 0 vde->secure_bo->vde->iova.rbroot.rb_node 4096-ptr_max
PARAM_VALUE 0 vde->v4l2_dev.dev 0
PARAM_VALUE 0 vde->vdev.dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vde->vdev.dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vde->vdev.dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 vde->vdev.dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 vde->vdev.dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 vde->vdev.dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 vde->vdev.dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 vde->vdev.dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 vde->vdev.dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 vde->vdev.dev.driver_data->cdev 0
PARAM_VALUE 0 vde->vdev.dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 vde->vdev.dev.driver_data->cis_mem.res 0
PARAM_VALUE 0 vde->vdev.dev.driver_data->cis_virt 0
PARAM_VALUE 0 vde->vdev.dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->device_count 0-1
PARAM_VALUE 0 vde->vdev.dev.driver_data->ops_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vde->vdev.dev.driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vde->vdev.dev.driver_data->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vde->vdev.dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vde->vdev.dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vde->vdev.dev.driver_data->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 vde->vdev.dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vde->vdev.dev.fwnode->dev 0
PARAM_VALUE 0 vde->vdev.dev.fwnode->secondary 0,4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.kobj.parent 0
PARAM_VALUE 0 vde->vdev.dev.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 vde->vdev.dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->vdev.dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 vde->vdev.dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 vde->vdev.dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.kobj.sd 0
PARAM_VALUE 0 vde->vdev.dev.kobj.sd->__parent 0
PARAM_VALUE 0 vde->vdev.dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 vde->vdev.dev.p->dead 1
PARAM_VALUE 0 vde->vdev.dev.p->deferred_probe_reason 0
PARAM_VALUE 0 vde->vdev.dev.p->knode_class.n_klist 0
PARAM_VALUE 0 vde->vdev.dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.p->knode_parent.n_klist 0
PARAM_VALUE 0 vde->vdev.dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->vdev.dev.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.power.can_wakeup 0
PARAM_VALUE 0 vde->vdev.dev.power.completion.done u32max
PARAM_VALUE 0 vde->vdev.dev.power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 vde->vdev.dev.power.in_dpm_list 0
PARAM_VALUE 0 vde->vdev.dev.power.irq_safe 0
PARAM_VALUE 0 vde->vdev.dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 vde->vdev.dev.power.needs_force_resume 0
PARAM_VALUE 0 vde->vdev.dev.power.qos 0,(-19)
PARAM_VALUE 0 vde->vdev.dev.power.request_pending 0
PARAM_VALUE 0 vde->vdev.dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 vde->vdev.dev.power.runtime_status 2
PARAM_VALUE 0 vde->vdev.dev.power.timer_expires 0
PARAM_VALUE 0 vde->vdev.dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 vde->vdev.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 vde->vdev.fh_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vde->wq 4096-ptr_max
PARAM_VALUE 0 vde->wq->flags 0-4294967295
PARAM_VALUE 0 vde->wq->flush_color s32min-s32max
PARAM_VALUE 0 vde->wq->nr_drainers s32min-s32max
PARAM_VALUE 0 vde->wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 vde->wq->rescuer 0
PARAM_VALUE 0 vde->wq->work_color s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev 0
PARAM_VALUE 0 vde->wq->wq_dev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vde->wq->wq_dev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->device_count 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->skt_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vde->wq->wq_dev->dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 vde->wq->wq_dev->dev.p->dead 1
PARAM_VALUE 0 vde->wq->wq_dev->dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 vde->wq->wq_dev->dev.power.completion.done 4294967295
PARAM_VALUE 0 vde->wq->wq_dev->dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.power.qos (-19),0
PARAM_VALUE 0 vde->wq->wq_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.power.runtime_status 2
PARAM_VALUE 0 vde->wq->wq_dev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 vde->wq->wq_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *vde->wq->lockdep_map->name 0-255
PARAM_VALUE 0 *vde->wq->rescuer->task->delays->lock.owner (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 vde s32min-(-2),1-s32max
BUF_SIZE 0 vde s32min-(-2),1-s32max
CAPPED_DATA 0 vde->m2m 1
CAPPED_DATA 0 vde->m2m->intf_devnode 1
CAPPED_DATA 0 vde->m2m->proc.name 1
CAPPED_DATA 0 vde->m2m->sink.name 1
CAPPED_DATA 0 vde->m2m->source 1
CAPPED_DATA 0 vde->m2m->source->name 1
CAPPED_DATA 0 vde->mdev.pm_count_walk.ent_enum.bmap 1
CAPPED_DATA 0 vde->secure_bo 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vde unit_byte
HALF_LOCKED2 &_dev->mutex