wave5_vpu_dec_unregister_device identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/media/platform/chips-media/wave5/wave5-vpu.h, line 72 (as a prototype)

Defined in 1 files as a function:

drivers/media/platform/chips-media/wave5/wave5-vpu-dec.c, line 2056 (as a function)

Referenced in 1 files:

drivers/media/platform/chips-media/wave5/wave5-vpu.c
- line 407
- line 433

Smatch caller information:

drivers/media/platform/chips-media/wave5/wave5-vpu.c wave5_vpu_probe() -> wave5_vpu_dec_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->clks	0,4096-ptr_max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	dev->dev->dma_mask	4096-ptr_max
PARAM_VALUE	0	dev->dev->driver_data	4096-ptr_max
PARAM_VALUE	0	dev->dev_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->dev_lock.first_waiter	0
PARAM_VALUE	0	dev->dev_lock.magic	4096-ptr_max
PARAM_VALUE	0	dev->dev_lock.osq.tail.counter	0
PARAM_VALUE	0	dev->dev_lock.owner.counter	0
PARAM_VALUE	0	dev->hrtimer._softexpires	0
PARAM_VALUE	0	dev->hrtimer.base	0,4096-ptr_max
PARAM_VALUE	0	dev->hrtimer.is_queued	0
PARAM_VALUE	0	dev->hrtimer.is_rel	0
PARAM_VALUE	0	dev->hrtimer.node.expires	0
PARAM_VALUE	0	dev->hrtimer.node.node.next	0
PARAM_VALUE	0	dev->hrtimer.node.node.node.rb_left	0
PARAM_VALUE	0	dev->hrtimer.node.node.node.rb_right	0
PARAM_VALUE	0	dev->hrtimer.node.node.prev	0
PARAM_VALUE	0	dev->hw_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->hw_lock.first_waiter	0
PARAM_VALUE	0	dev->hw_lock.magic	4096-ptr_max
PARAM_VALUE	0	dev->hw_lock.osq.tail.counter	0
PARAM_VALUE	0	dev->hw_lock.owner.counter	0
PARAM_VALUE	0	dev->inst_ida.xa.xa_flags	33554437
PARAM_VALUE	0	dev->inst_ida.xa.xa_head	0
PARAM_VALUE	0	dev->instances.next	4096-ptr_max
PARAM_VALUE	0	dev->instances.next->next	4096-ptr_max
PARAM_VALUE	0	dev->instances.prev	4096-ptr_max
PARAM_VALUE	0	dev->instances.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->instances.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->irq	(-4095)-(-1),1-s32max
PARAM_VALUE	0	dev->irq_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->irq_lock.first_waiter	0
PARAM_VALUE	0	dev->irq_lock.magic	4096-ptr_max
PARAM_VALUE	0	dev->irq_lock.osq.tail.counter	0
PARAM_VALUE	0	dev->irq_lock.owner.counter	0
PARAM_VALUE	0	dev->irq_thread	0,4096-ptr_max,(-12),(-4)
PARAM_VALUE	0	dev->num_clks	0-s32max
PARAM_VALUE	0	dev->product	0-1,4
PARAM_VALUE	0	dev->product_code	20752,20816,20848,21008-21009,21020-21021,21360
PARAM_VALUE	0	dev->resets	0,4096-ptr_max
PARAM_VALUE	0	dev->resets->array	0-1
PARAM_VALUE	0	dev->sram_buf.size	0-u32max
PARAM_VALUE	0	dev->v4l2_dev.dev	0,4096-ptr_max
PARAM_VALUE	0	dev->v4l2_dev.ref.refcount.refs.counter	0-1
PARAM_VALUE	0	dev->v4l2_dev.subdevs.next	0,4096-ptr_max
PARAM_VALUE	0	dev->v4l2_dev.subdevs.prev	0,4096-ptr_max
PARAM_VALUE	0	dev->v4l2_m2m_dec_dev	0,4096-ptr_max
PARAM_VALUE	0	dev->v4l2_m2m_enc_dev	0,4096-ptr_max,(-22),(-12)
PARAM_VALUE	0	dev->vdb_register	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_dec	0,4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc	0,4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->worker	0,4096-ptr_max
BUF_SIZE	0	dev	1248
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->irq	s32min-(-1),1-s32max
BUF_SIZE	0	dev->resets	(-1),8,96,280,1296
BUF_SIZE	0	dev->worker	(-1)-0,128
CAPPED_DATA	0	dev->num_clks	1
CAPPED_DATA	0	dev->v4l2_m2m_enc_dev	1
DATA_SOURCE	0	dev	r devm_kzalloc
FUZZY_MAX	0	dev->sram_buf.size	0
FUZZY_MAX	0	dev->v4l2_dev.ref.refcount.refs.counter	0
MEM_ZERO	0	dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->product_code	20752,20816,20848,21008-21009,21020-21021,21360

drivers/media/platform/chips-media/wave5/wave5-vpu.c wave5_vpu_remove() -> wave5_vpu_dec_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc	0,4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	dev->video_dev_enc->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->device_count	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->video_dev_enc->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.parent	0
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.kobj.sd	0
PARAM_VALUE	0	dev->video_dev_enc->dev.p->dead	1
PARAM_VALUE	0	dev->video_dev_enc->dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.completion.done	u32max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.irq_safe	0
PARAM_VALUE	0	dev->video_dev_enc->dev.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.qos	0,(-19)
PARAM_VALUE	0	dev->video_dev_enc->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.runtime_status	2
PARAM_VALUE	0	dev->video_dev_enc->dev.power.usage_count.counter	0-s32max
PARAM_VALUE	0	dev->video_dev_enc->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->video_dev_enc->fh_lock.rlock.dep_map->name	0-255
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
CAPPED_DATA	0	dev->v4l2_m2m_enc_dev	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte
HALF_LOCKED2		&_dev->mutex