dvb_usb_media_device_unregister identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/media/usb/dvb-usb/dvb-usb-dvb.c, line 128 (as a function)

Referenced in 1 files:

drivers/media/usb/dvb-usb/dvb-usb-dvb.c
- line 211
- line 226

Smatch caller information:

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_dvb_exit() -> dvb_usb_media_device_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	adap	4096-ptr_max
PARAM_VALUE	0	adap->demux.dmx.users	s32min-s32max
PARAM_VALUE	0	adap->dmxdev.demux	4096-ptr_max
PARAM_VALUE	0	adap->dmxdev.demux->close	4096-ptr_max
PARAM_VALUE	0	adap->dmxdev.demux->users	s32min-s32max
PARAM_VALUE	0	adap->dmxdev.dvbdev	4096-ptr_max
PARAM_VALUE	0	adap->dmxdev.dvbdev->entity	0
PARAM_VALUE	0	adap->dmxdev.dvbdev->intf_devnode	0
PARAM_VALUE	0	adap->dmxdev.dvbdev->pads	0
PARAM_VALUE	0	adap->dmxdev.dvbdev->tsout_entity	0
PARAM_VALUE	0	adap->dmxdev.dvbdev->tsout_num_entities	0
PARAM_VALUE	0	adap->dmxdev.dvbdev->tsout_pads	0
PARAM_VALUE	0	adap->dmxdev.dvbdev->users	s32min-1
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev	4096-ptr_max
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->entity	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->intf_devnode	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->pads	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->tsout_entity	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->tsout_pads	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->users	s32min-1
PARAM_VALUE	0	adap->dmxdev.exit	1
PARAM_VALUE	0	adap->dmxdev.filter	0
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	adap->dvb_adap.mdev->media_dir->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	adap->dvb_net.dvbdev	4096-ptr_max
PARAM_VALUE	0	adap->dvb_net.dvbdev->entity	0
PARAM_VALUE	0	adap->dvb_net.dvbdev->intf_devnode	0
PARAM_VALUE	0	adap->dvb_net.dvbdev->pads	0
PARAM_VALUE	0	adap->dvb_net.dvbdev->tsout_entity	0
PARAM_VALUE	0	adap->dvb_net.dvbdev->tsout_pads	0
PARAM_VALUE	0	adap->dvb_net.dvbdev->users	1-s32max
PARAM_VALUE	0	adap->dvb_net.exit	1
PARAM_VALUE	0	adap->dvb_net.remove_mutex.dep_map->name	0-255
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	adap->dvb_net.remove_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	adap->state	s32min-(-1),1-s32max
PARAM_VALUE	0	*adap->dvb_adap.proposed_mac	0-255
BUF_SIZE	0	adap->priv	(-1),1-s32max
CAPPED_DATA	0	adap->demux.cnt_storage	1
CAPPED_DATA	0	adap->demux.feed	1
CAPPED_DATA	0	adap->demux.filter	1
CAPPED_DATA	0	adap->dmxdev.dvbdev	1
CAPPED_DATA	0	adap->dmxdev.dvr_dvbdev	1
CAPPED_DATA	0	adap->dvb_net.dvbdev	1
DATA_SOURCE	0	adap	$0
BIT_INFO	0	adap->state	0x1,0x7fffffff
HARD_MAX	0	adap->dmxdev.dvbdev->users	1
HARD_MAX	0	adap->dmxdev.dvr_dvbdev->users	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_dvb_init() -> dvb_usb_media_device_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	adap	4096-ptr_max
PARAM_VALUE	0	adap->demux.dmx.capabilities	5
PARAM_VALUE	0	adap->demux.feednum	0-s32max
PARAM_VALUE	0	adap->demux.filternum	0-s32max
PARAM_VALUE	0	adap->demux.priv	4096-ptr_max
PARAM_VALUE	0	adap->demux.start_feed	2404863977934213120
PARAM_VALUE	0	adap->demux.stop_feed	8172860578165547008
PARAM_VALUE	0	adap->demux.users	0
PARAM_VALUE	0	adap->demux.write_to_decoder	0
PARAM_VALUE	0	adap->dev	4096-ptr_max
PARAM_VALUE	0	adap->dev->data_mutex.first_waiter	0
PARAM_VALUE	0	adap->dev->data_mutex.magic	4096-ptr_max
PARAM_VALUE	0	adap->dev->data_mutex.osq.tail.counter	0
PARAM_VALUE	0	adap->dev->data_mutex.owner.counter	0
PARAM_VALUE	0	adap->dev->desc	4096-ptr_max
PARAM_VALUE	0	adap->dev->i2c_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	adap->dev->i2c_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->dev->i2c_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->dev->i2c_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	adap->dev->i2c_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	adap->dev->i2c_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	adap->dev->i2c_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	adap->dev->i2c_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	adap->dev->owner	0
PARAM_VALUE	0	adap->dev->props.num_adapters	1-s32max
PARAM_VALUE	0	adap->dev->props.size_of_priv	s32min-4000000
PARAM_VALUE	0	adap->dev->state	0-3
PARAM_VALUE	0	adap->dev->usb_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	adap->dmxdev.capabilities	0
PARAM_VALUE	0	adap->dmxdev.demux	4096-ptr_max
PARAM_VALUE	0	adap->dmxdev.demux->add_frontend	7496628551107129344
PARAM_VALUE	0	adap->dmxdev.demux->allocate_section_feed	5178005904802480128
PARAM_VALUE	0	adap->dmxdev.demux->allocate_ts_feed	6078934142870974464
PARAM_VALUE	0	adap->dmxdev.demux->capabilities	5
PARAM_VALUE	0	adap->dmxdev.demux->close	1912595062064832512
PARAM_VALUE	0	adap->dmxdev.demux->connect_frontend	3796812085283176448
PARAM_VALUE	0	adap->dmxdev.demux->disconnect_frontend	1966629886725861376
PARAM_VALUE	0	adap->dmxdev.demux->frontend	0
PARAM_VALUE	0	adap->dmxdev.demux->get_frontends	5994570995935490048
PARAM_VALUE	0	adap->dmxdev.demux->get_pes_pids	3180627643158437888
PARAM_VALUE	0	adap->dmxdev.demux->open	5526431022189506560
PARAM_VALUE	0	adap->dmxdev.demux->priv	4096-ptr_max
PARAM_VALUE	0	adap->dmxdev.demux->release_section_feed	9006761519503056896
PARAM_VALUE	0	adap->dmxdev.demux->release_ts_feed	4072780391670812672
PARAM_VALUE	0	adap->dmxdev.demux->remove_frontend	2496874270895730688
PARAM_VALUE	0	adap->dmxdev.demux->users	s32min-s32max
PARAM_VALUE	0	adap->dmxdev.demux->write	2624585396894089216
PARAM_VALUE	0	adap->dmxdev.dvbdev->users	s32min-1
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->entity	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->intf_devnode	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->pads	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->tsout_entity	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->tsout_pads	0
PARAM_VALUE	0	adap->dmxdev.dvr_dvbdev->users	s32min-1
PARAM_VALUE	0	adap->dmxdev.exit	1
PARAM_VALUE	0	adap->dmxdev.filternum	0-s32max
PARAM_VALUE	0	adap->dvb_adap.conn	0
PARAM_VALUE	0	adap->dvb_adap.conn_pads	0
PARAM_VALUE	0	adap->dvb_adap.device_list.next	4096-ptr_max
PARAM_VALUE	0	adap->dvb_adap.device_list.next->next	0
PARAM_VALUE	0	adap->dvb_adap.device_list.prev->next	0
PARAM_VALUE	0	adap->dvb_adap.device_list.prev->prev	0
PARAM_VALUE	0	adap->dvb_adap.list_head.next	1018538986533793792
PARAM_VALUE	0	adap->dvb_adap.list_head.prev	0,4096-ptr_max
PARAM_VALUE	0	adap->dvb_adap.mdev	4096-ptr_max
PARAM_VALUE	0	adap->dvb_adap.mdev_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->dvb_adap.mdev_lock.first_waiter	0
PARAM_VALUE	0	adap->dvb_adap.mdev_lock.magic	4096-ptr_max
PARAM_VALUE	0	adap->dvb_adap.mdev_lock.osq.tail.counter	0
PARAM_VALUE	0	adap->dvb_adap.mdev_lock.owner.counter	0
PARAM_VALUE	0	adap->dvb_adap.mfe_dvbdev	0
PARAM_VALUE	0	adap->dvb_adap.mfe_lock.dep_map->name	0-255
PARAM_VALUE	0	adap->dvb_adap.mfe_lock.first_waiter	0
PARAM_VALUE	0	adap->dvb_adap.mfe_lock.magic	4096-ptr_max
PARAM_VALUE	0	adap->dvb_adap.mfe_lock.owner.counter	0
PARAM_VALUE	0	adap->dvb_adap.mfe_shared	0
PARAM_VALUE	0	adap->dvb_adap.num	0-15
PARAM_VALUE	0	adap->dvb_adap.priv	4096-ptr_max
PARAM_VALUE	0	adap->dvb_net->state	0
PARAM_VALUE	0	adap->dvb_net.demux	4096-ptr_max
PARAM_VALUE	0	adap->dvb_net.dvbdev	0
PARAM_VALUE	0	adap->dvb_net.ioctl_mutex.dep_map->name	0-255
PARAM_VALUE	0	adap->dvb_net.ioctl_mutex.first_waiter	0
PARAM_VALUE	0	adap->dvb_net.ioctl_mutex.magic	4096-ptr_max
PARAM_VALUE	0	adap->dvb_net.ioctl_mutex.owner.counter	0
PARAM_VALUE	0	adap->dvb_net.remove_mutex.dep_map->name	0-255
PARAM_VALUE	0	adap->dvb_net.remove_mutex.first_waiter	0
PARAM_VALUE	0	adap->dvb_net.remove_mutex.magic	4096-ptr_max
PARAM_VALUE	0	adap->props.size_of_priv	s32min-4000000
BUF_SIZE	0	adap->dmxdev.demux	(-1),136
BUF_SIZE	0	adap->priv	(-1),1-s32max
CAPPED_DATA	0	adap->demux.cnt_storage	1
CAPPED_DATA	0	adap->demux.feednum	1
CAPPED_DATA	0	adap->demux.filter	1
CAPPED_DATA	0	adap->demux.filternum	1
CAPPED_DATA	0	adap->dev->props.num_device_descs	1
CAPPED_DATA	0	adap->dmxdev.filternum	1
CAPPED_DATA	0	adap->id	1
CAPPED_DATA	0	adap->props.num_frontends	1
DATA_SOURCE	0	adap	$0
FUZZY_MAX	0	adap->demux.filternum	0
MEM_ZERO	0	adap->dvb_adap.conn_pads
MEM_ZERO	0	adap->dvb_adap.device
MEM_ZERO	0	adap->dvb_adap.device_list.next
MEM_ZERO	0	adap->dvb_adap.list_head.next
MEM_ZERO	0	adap->dvb_adap.list_head.prev
MEM_ZERO	0	adap->dvb_adap.mdev_lock.dep_map.key
MEM_ZERO	0	adap->dvb_adap.mdev_lock.dep_map.name
MEM_ZERO	0	adap->dvb_adap.mdev_lock.first_waiter
MEM_ZERO	0	adap->dvb_adap.mdev_lock.magic
MEM_ZERO	0	adap->dvb_adap.mdev_lock.wait_lock.owner
MEM_ZERO	0	adap->dvb_adap.mfe_dvbdev
MEM_ZERO	0	adap->dvb_adap.mfe_lock.dep_map.key
MEM_ZERO	0	adap->dvb_adap.mfe_lock.dep_map.name
MEM_ZERO	0	adap->dvb_adap.mfe_lock.first_waiter
MEM_ZERO	0	adap->dvb_adap.mfe_lock.magic
MEM_ZERO	0	adap->dvb_adap.mfe_lock.wait_lock.owner
MEM_ZERO	0	adap->dvb_adap.module
MEM_ZERO	0	adap->dvb_adap.name
MEM_ZERO	0	adap->dvb_adap.priv
MEM_ZERO	0	adap->dvb_adap.proposed_mac
MEM_ZERO	0	&adap->dvb_adap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	adap->dmxdev.filternum