pvr2_hdw_remove_usb_stuff 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-hdw.c, line 2626 (as a function)

Referenced in 1 files:

drivers/media/usb/pvrusb2/pvrusb2-hdw.c, line 2711

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-hdw.c pvr2_hdw_disconnect() -> pvr2_hdw_remove_usb_stuff()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdw	4096-ptr_max
PARAM_VALUE	0	hdw->big_lock_held	1
PARAM_VALUE	0	hdw->big_lock_mutex.dep_map->name	0-255
PARAM_VALUE	0	hdw->big_lock_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hdw->big_lock_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdw->big_lock_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdw->big_lock_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hdw->big_lock_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	hdw->big_lock_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	hdw->ctl_lock_held	1
PARAM_VALUE	0	hdw->ctl_lock_mutex.dep_map->name	0-255
PARAM_VALUE	0	hdw->ctl_lock_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hdw->ctl_lock_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdw->ctl_lock_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdw->ctl_lock_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hdw->ctl_lock_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	hdw->ctl_lock_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	hdw->i2c_adap->debugfs->d_inode->i_sb->s_fs_info->s_first_error_func	0-255
PARAM_VALUE	0	hdw->i2c_adap->debugfs->d_inode->i_sb->s_fs_info->s_last_error_func	0-255
PARAM_VALUE	0	hdw->i2c_adap.class	0-255,257-u32max
PARAM_VALUE	0	hdw->i2c_adap.debugfs->d_alias->next->pprev	1-u64max
PARAM_VALUE	0	hdw->i2c_adap.debugfs->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	hdw->i2c_adap.dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	hdw->i2c_adap.dev.bus	0
PARAM_VALUE	0	hdw->i2c_adap.dev.bus_dma_limit	0
PARAM_VALUE	0	hdw->i2c_adap.dev.class	0
PARAM_VALUE	0	hdw->i2c_adap.dev.cma_area	0
PARAM_VALUE	0	hdw->i2c_adap.dev.coherent_dma_mask	0
PARAM_VALUE	0	hdw->i2c_adap.dev.devres_head.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.devres_head.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdw->i2c_adap.dev.devt	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_io_tlb_mem	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_io_tlb_pools.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_io_tlb_pools.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_mask	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_mem	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_ops	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_parms	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_pools.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_pools.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_range_map	0
PARAM_VALUE	0	hdw->i2c_adap.dev.dma_uses_io_tlb	0
PARAM_VALUE	0	hdw->i2c_adap.dev.driver	0
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data	0
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->cdev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->cis_virt	0
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->device_count	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->ops_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->ops_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->skt_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->skt_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.driver_override.name	0
PARAM_VALUE	0	hdw->i2c_adap.dev.em_pd	0
PARAM_VALUE	0	hdw->i2c_adap.dev.fwnode	0
PARAM_VALUE	0	hdw->i2c_adap.dev.fwnode->dev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.fwnode->secondary	0,4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.groups	0
PARAM_VALUE	0	hdw->i2c_adap.dev.id	0
PARAM_VALUE	0	hdw->i2c_adap.dev.init_name	0
PARAM_VALUE	0	hdw->i2c_adap.dev.iommu	0
PARAM_VALUE	0	hdw->i2c_adap.dev.iommu_group	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.entry.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.entry.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.kset	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.ktype	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.name	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.parent	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release.cpu	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.release.wq	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.sd	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.sd->__parent	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	hdw->i2c_adap.dev.kobj.uevent_suppress	0
PARAM_VALUE	0	hdw->i2c_adap.dev.links.consumers.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.links.consumers.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.links.defer_sync.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.links.defer_sync.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.links.status	0
PARAM_VALUE	0	hdw->i2c_adap.dev.links.suppliers.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.links.suppliers.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.msi.data	0
PARAM_VALUE	0	hdw->i2c_adap.dev.msi.domain	0
PARAM_VALUE	0	hdw->i2c_adap.dev.mutex.first_waiter	0
PARAM_VALUE	0	hdw->i2c_adap.dev.mutex.magic	0
PARAM_VALUE	0	hdw->i2c_adap.dev.mutex.owner.counter	0
PARAM_VALUE	0	hdw->i2c_adap.dev.numa_node	0
PARAM_VALUE	0	hdw->i2c_adap.dev.of_node	0
PARAM_VALUE	0	hdw->i2c_adap.dev.p	0
PARAM_VALUE	0	hdw->i2c_adap.dev.p->dead	1
PARAM_VALUE	0	hdw->i2c_adap.dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.dev.parent	0
PARAM_VALUE	0	hdw->i2c_adap.dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.physical_location	0
PARAM_VALUE	0	hdw->i2c_adap.dev.pins	0
PARAM_VALUE	0	hdw->i2c_adap.dev.platform_data	0
PARAM_VALUE	0	hdw->i2c_adap.dev.pm_domain	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.active_time	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.async_suspend	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.can_wakeup	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.completion.done	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.deferred_resume	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.direct_complete	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.disable_depth	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.driver_flags	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.early_init	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.entry.next	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.power.entry.prev	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev.power.ignore_children	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.in_dpm_list	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.irq_safe	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.is_prepared	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.is_suspended	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.last_busy	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.last_status	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.links_count	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.may_skip_resume	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.memalloc_noio	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.must_resume	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.no_callbacks	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.no_pm	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.no_pm_callbacks	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.out_band_wakeup	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.qos	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.request	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.request_pending	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.runtime_auto	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.runtime_error	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.runtime_status	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.smart_suspend	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.strict_midlayer	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.subsys_data	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.suspended_time	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.syscore	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.timer_expires	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.use_autosuspend	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.wakeirq	0
PARAM_VALUE	0	hdw->i2c_adap.dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	hdw->i2c_adap.dev.release	0
PARAM_VALUE	0	hdw->i2c_adap.dev.removable	0
PARAM_VALUE	0	hdw->i2c_adap.dev.type	0
PARAM_VALUE	0	hdw->i2c_adap.dev_released.done	0-4294967293,u32max
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.lock.owner	(-1)
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.dev_released.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	hdw->i2c_adap.host_notify_domain	0
PARAM_VALUE	0	hdw->i2c_adap.userspace_clients_lock.dep_map->name	0-255
PARAM_VALUE	0	hdw->i2c_adap.userspace_clients_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdw->i2c_adap.userspace_clients_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hdw->i2c_adap.userspace_clients_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hdw->i2c_adap.userspace_clients_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hdw->i2c_adap.userspace_clients_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hdw->i2c_adap.userspace_clients_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdw->i2c_linked	0
CAPPED_DATA	0	&hdw->big_lock_mutex	1
CAPPED_DATA	0	&hdw->ctl_lock_mutex	1
DATA_SOURCE	0	hdw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hdw->i2c_adap.cad->state->u.pc	s64min-s64max
HOST_DATA	0	hdw->i2c_adap.cad->state->u.pc->ctr	0-4294967295
HOST_DATA	0	hdw->i2c_adap.cad->state->u.pc->ecr	0-4294967295
NO_OVERFLOW_SIMPLE	0	hdw->control_cnt
NO_OVERFLOW_SIMPLE	0	hdw->input_val
NO_OVERFLOW_SIMPLE	0	hdw->unit_number
NO_OVERFLOW_SIMPLE	0	hdw->vid_stream->buffer_slot_count
LOCK2	0	&hdw->big_lock_mutex
LOCK2	0	&hdw->ctl_lock_mutex
TYPE_LOCK		(struct pvr2_hdw)->big_lock_mutex
TYPE_LOCK		(struct pvr2_hdw)->ctl_lock_mutex