pvr2_v4l2_destroy_no_lock identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c, line 843 (as a function)

Referenced in 1 files:

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c pvr2_v4l2_create() -> pvr2_v4l2_destroy_no_lock()

Type	Parameter	Key	Value
PARAM_VALUE	0	vp	4096-ptr_max
PARAM_VALUE	0	vp->channel.check_func	4498501901343268864
PARAM_VALUE	0	vp->channel.hdw	4096-ptr_max
PARAM_VALUE	0	vp->channel.mc_head	4096-ptr_max
PARAM_VALUE	0	vp->channel.mc_next	0
PARAM_VALUE	0	vp->channel.mc_prev	0,4096-ptr_max
PARAM_VALUE	0	vp->dev_video	0,4096-ptr_max
PARAM_VALUE	0	vp->dev_video->config	1-2
PARAM_VALUE	0	vp->dev_video->devbase.cdev	0,4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->count	1
PARAM_VALUE	0	vp->dev_video->devbase.cdev->dev	84934656-84934848,84934880-84934911
PARAM_VALUE	0	vp->dev_video->devbase.cdev->kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	vp->dev_video->devbase.cdev->kobj.ktype	5171966442834808832
PARAM_VALUE	0	vp->dev_video->devbase.cdev->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->kobj.state_initialized	1
PARAM_VALUE	0	vp->dev_video->devbase.cdev->list.next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->list.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->list.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->list.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops	6054153483104448512
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->compat_ioctl	3026616559207960576
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->mmap	6700808276051107840
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->open	1670762395096928256
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->poll	2518243280983449600
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->read	2720628534654595072
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->release	4124152905908826112
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->unlocked_ioctl	6964962747085684736
PARAM_VALUE	0	vp->dev_video->devbase.cdev->ops->write	1439580363185225728
PARAM_VALUE	0	vp->dev_video->devbase.dev.class->dev_groups	0,1174323719675027456
PARAM_VALUE	0	vp->dev_video->devbase.dev.class->devnode	0
PARAM_VALUE	0	vp->dev_video->devbase.dev.class->name	0,3365548870574129152
PARAM_VALUE	0	vp->dev_video->devbase.dev.class->pm	0
PARAM_VALUE	0	vp->dev_video->devbase.dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj->name	0-255
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	vp->dev_video->devbase.dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	vp->dev_video->devbase.dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vp->dev_video->devbase.dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	vp->dev_video->devbase.dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.physical_location->horizontal_position	0
PARAM_VALUE	0	vp->dev_video->devbase.dev.physical_location->panel	0
PARAM_VALUE	0	vp->dev_video->devbase.dev.physical_location->vertical_position	0
PARAM_VALUE	0	vp->dev_video->devbase.dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.device_caps	16842768,16973825,17104896
PARAM_VALUE	0	vp->dev_video->devbase.entity.function	0,4098-4099,65537
PARAM_VALUE	0	vp->dev_video->devbase.entity.graph_obj.id	0-67108863
PARAM_VALUE	0	vp->dev_video->devbase.entity.info.dev.major	81
PARAM_VALUE	0	vp->dev_video->devbase.entity.info.dev.minor	0-192,224-255
PARAM_VALUE	0	vp->dev_video->devbase.entity.internal_idx	0-s32max
PARAM_VALUE	0	vp->dev_video->devbase.entity.links.next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.entity.links.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.entity.links.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.entity.links.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.entity.links.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.entity.num_links	0
PARAM_VALUE	0	vp->dev_video->devbase.entity.obj_type	1
PARAM_VALUE	0	vp->dev_video->devbase.entity.pads->graph_obj.id	0-67108863
PARAM_VALUE	0	vp->dev_video->devbase.fh_list.next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.fh_list.next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.fh_list.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.fh_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.fh_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.fops	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.index	0-64
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode	0,4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.graph_obj.id	0-67108863
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.graph_obj.mdev->entities.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.graph_obj.mdev->interfaces.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.graph_obj.mdev->links.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.graph_obj.mdev->pads.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.links.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.links.prev->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.links.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->intf.type	0,256-260,512-517,768-770
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->major	81
PARAM_VALUE	0	vp->dev_video->devbase.intf_devnode->minor	0-192,224-255
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops	2796759901939826688
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_enum_fmt_vid_cap	7963176346059415552
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_enum_input	8347772557960916992
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_enumaudio	1945963810421682176
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_audio	1728458509994319872
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_ext_ctrls	2610977282233442304
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_fmt_vid_cap	2133118941538537472
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_frequency	8746987770351095808
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_input	3648721197543919616
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_pixelaspect	8930277767614865408
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_selection	9179785730993934336
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_std	1107641443300777984
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_g_tuner	4477766182489436160
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_log_status	3846088410206957568
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_query_ext_ctrl	7665444382033793024
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_querycap	3572476051953180672
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_querymenu	1676988453670400000
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_querystd	302527821821067264
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_audio	2919074635643764736
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_ext_ctrls	757927006738919424
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_fmt_vid_cap	4887693873989287936
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_frequency	6177935223793971200
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_input	6109286759739465728
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_selection	5725815034147663872
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_std	8572070577884991488
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_s_tuner	8406197829650165760
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_streamoff	1831539489692852224
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_streamon	1523505670678118400
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_try_ext_ctrls	6980545209626468352
PARAM_VALUE	0	vp->dev_video->devbase.ioctl_ops->vidioc_try_fmt_vid_cap	2608591618943348736
PARAM_VALUE	0	vp->dev_video->devbase.minor	(-1)-192,224-288
PARAM_VALUE	0	vp->dev_video->devbase.num	0-64
PARAM_VALUE	0	vp->dev_video->devbase.prio	1-u64max
PARAM_VALUE	0	vp->dev_video->devbase.release	7959735596350849024
PARAM_VALUE	0	vp->dev_video->devbase.tvnorms	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev->mdev->entity_internal_idx_max	0-s32max
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev->mdev->graph_mutex.dep_map->name	0-255
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev->mdev->graph_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev->mdev->graph_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev->mdev->graph_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev->mdev->interfaces.prev	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.v4l2_dev->mdev->pm_count_walk.ent_enum.bmap	16,4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.vfl_type	0,2
PARAM_VALUE	0	vp->dev_video->minor_type	0-2
PARAM_VALUE	0	vp->dev_video->stream	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->v4l_type	0
PARAM_VALUE	0	vp->dev_video->v4lp	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->v4lp->channel.check_func	4498501901343268864
PARAM_VALUE	0	vp->dev_video->v4lp->channel.hdw	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->v4lp->channel.input_mask	0-29
PARAM_VALUE	0	vp->dev_video->v4lp->channel.mc_head	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->v4lp->dev_video	4096-ptr_max
BUF_SIZE	0	vp	72
BUF_SIZE	0	vp->dev_radio	2128,u64max
BUF_SIZE	0	vp->dev_video	2128,u64max
DATA_SOURCE	0	vp	r _kzalloc_noprof
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vp->dev_video->devbase.cdev->count

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c pvr2_v4l2_internal_check() -> pvr2_v4l2_destroy_no_lock()

Type	Parameter	Key	Value
PARAM_VALUE	0	vp	4096-ptr_max
PARAM_VALUE	0	vp->channel.mc_head	4096-ptr_max
PARAM_VALUE	0	vp->channel.mc_head->disconnect_flag	s32min-(-1),1-s32max
PARAM_VALUE	0	vp->dev_radio	0,4096-ptr_max
PARAM_VALUE	0	vp->dev_radio->devbase.fh_list.next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video	0,4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.fh_list.next	2016,4096-ptr_max
CAPPED_DATA	0	&vp->dev_radio->devbase.fh_list	1
CAPPED_DATA	0	&vp->dev_video->devbase.fh_list	1
PARAM_COMPARE	0	&vp->dev_video->devbase.fh_list	== $0->dev_video->devbase.fh_list.next
NOCHECK_CALL

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c pvr2_v4l2_release() -> pvr2_v4l2_destroy_no_lock()

Type	Parameter	Key	Value
PARAM_VALUE	0	vp	4096-ptr_max
PARAM_VALUE	0	vp->channel.mc_head	4096-ptr_max
PARAM_VALUE	0	vp->channel.mc_head->disconnect_flag	s32min-(-1),1-s32max
PARAM_VALUE	0	vp->dev_radio->devbase.fh_list.next	4096-ptr_max
PARAM_VALUE	0	vp->dev_video->devbase.fh_list.next	4096-ptr_max
CAPPED_DATA	0	&vp->dev_radio->devbase.fh_list	1
CAPPED_DATA	0	&vp->dev_video->devbase.fh_list	1
PARAM_COMPARE	0	&vp->dev_video->devbase.fh_list	== $0->dev_video->devbase.fh_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&vdev->v4l2_dev->mdev->req_queue_mutex