flexcop_device_exit identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/media/common/b2c2/flexcop-common.h, line 118 (as a prototype)

Defined in 1 files as a function:

drivers/media/common/b2c2/flexcop.c, line 286 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/media/common/b2c2/flexcop.c flexcop_device_initialize() -> flexcop_device_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	fc	4096-ptr_max
PARAM_VALUE	0	fc->bus_specific	4096-ptr_max
PARAM_VALUE	0	fc->bus_specific->data_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	fc->bus_specific->data_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	fc->bus_type	0-1
PARAM_VALUE	0	fc->dev	4096-ptr_max
PARAM_VALUE	0	fc->get_mac_addr	507507850993078272,8478665232554831872
PARAM_VALUE	0	fc->has_32_hw_pid_filter	0-1
PARAM_VALUE	0	fc->i2c_request	3888937044043984896,5467254045719105536
PARAM_VALUE	0	fc->owner	0
PARAM_VALUE	0	fc->read_ibi_reg	1522137759293313024,5458782375119372288
PARAM_VALUE	0	fc->rev	1-3
PARAM_VALUE	0	fc->stream_control	1582760695802073088,8015571181562601472
PARAM_VALUE	0	fc->write_ibi_reg	6868274338340040704,9158268010369892352
PARAM_VALUE	0	*fc->dvb_adapter.proposed_mac	0-255
BUF_SIZE	0	fc	10432
BUF_SIZE	0	fc->dev	1616
DATA_SOURCE	0	fc	$0
HARD_MAX	0	fc->bus_type	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/b2c2/flexcop-usb.c flexcop_usb_disconnect() -> flexcop_device_exit()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/b2c2/flexcop-usb.c flexcop_usb_probe() -> flexcop_device_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	fc	4096-ptr_max
PARAM_VALUE	0	fc->bus_specific	4096-ptr_max
PARAM_VALUE	0	fc->bus_specific->data_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	fc->bus_specific->data_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	fc->bus_type	0
PARAM_VALUE	0	fc->demux->cnt_storage	0-255
PARAM_VALUE	0	fc->demux->pesfilter	0
PARAM_VALUE	0	fc->demux->pids	u16max
PARAM_VALUE	0	fc->demux.check_crc32	1-u64max
PARAM_VALUE	0	fc->demux.dmx.add_frontend	7496628551107129344
PARAM_VALUE	0	fc->demux.dmx.allocate_section_feed	5178005904802480128
PARAM_VALUE	0	fc->demux.dmx.allocate_ts_feed	6078934142870974464
PARAM_VALUE	0	fc->demux.dmx.capabilities	13
PARAM_VALUE	0	fc->demux.dmx.close	1912595062064832512
PARAM_VALUE	0	fc->demux.dmx.connect_frontend	3796812085283176448
PARAM_VALUE	0	fc->demux.dmx.disconnect_frontend	1966629886725861376
PARAM_VALUE	0	fc->demux.dmx.frontend	4096-ptr_max
PARAM_VALUE	0	fc->demux.dmx.get_frontends	5994570995935490048
PARAM_VALUE	0	fc->demux.dmx.get_pes_pids	3180627643158437888
PARAM_VALUE	0	fc->demux.dmx.open	5526431022189506560
PARAM_VALUE	0	fc->demux.dmx.priv	4096-ptr_max
PARAM_VALUE	0	fc->demux.dmx.release_section_feed	9006761519503056896
PARAM_VALUE	0	fc->demux.dmx.release_ts_feed	4072780391670812672
PARAM_VALUE	0	fc->demux.dmx.remove_frontend	2496874270895730688
PARAM_VALUE	0	fc->demux.dmx.write	2624585396894089216
PARAM_VALUE	0	fc->demux.feed	1-u64max
PARAM_VALUE	0	fc->demux.feed_list.next	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.next->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.feednum	256
PARAM_VALUE	0	fc->demux.filter	1-u64max
PARAM_VALUE	0	fc->demux.filternum	256
PARAM_VALUE	0	fc->demux.frontend_list.next	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.next->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.memcopy	1-u64max
PARAM_VALUE	0	fc->demux.playing	0
PARAM_VALUE	0	fc->demux.priv	4096-ptr_max
PARAM_VALUE	0	fc->demux.recording	0
PARAM_VALUE	0	fc->demux.start_feed	7912007197845393408
PARAM_VALUE	0	fc->demux.stop_feed	5838010552878972928
PARAM_VALUE	0	fc->demux.tsbufp	0
PARAM_VALUE	0	fc->demux.users	0
PARAM_VALUE	0	fc->demux.write_to_decoder	0
PARAM_VALUE	0	fc->dev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.capabilities	0
PARAM_VALUE	0	fc->dmxdev.demux	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.demux->add_frontend	7496628551107129344
PARAM_VALUE	0	fc->dmxdev.demux->allocate_section_feed	5178005904802480128
PARAM_VALUE	0	fc->dmxdev.demux->allocate_ts_feed	6078934142870974464
PARAM_VALUE	0	fc->dmxdev.demux->capabilities	13
PARAM_VALUE	0	fc->dmxdev.demux->close	1912595062064832512
PARAM_VALUE	0	fc->dmxdev.demux->connect_frontend	3796812085283176448
PARAM_VALUE	0	fc->dmxdev.demux->disconnect_frontend	1966629886725861376
PARAM_VALUE	0	fc->dmxdev.demux->frontend	0
PARAM_VALUE	0	fc->dmxdev.demux->get_frontends	5994570995935490048
PARAM_VALUE	0	fc->dmxdev.demux->get_pes_pids	3180627643158437888
PARAM_VALUE	0	fc->dmxdev.demux->open	5526431022189506560
PARAM_VALUE	0	fc->dmxdev.demux->priv	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.demux->release_section_feed	9006761519503056896
PARAM_VALUE	0	fc->dmxdev.demux->release_ts_feed	4072780391670812672
PARAM_VALUE	0	fc->dmxdev.demux->remove_frontend	2496874270895730688
PARAM_VALUE	0	fc->dmxdev.demux->users	s32min-10
PARAM_VALUE	0	fc->dmxdev.demux->write	2624585396894089216
PARAM_VALUE	0	fc->dmxdev.dvbdev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer->data	0-255
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.data	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.error	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.pread	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.pwrite	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.next	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.prev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.size	8192
PARAM_VALUE	0	fc->dmxdev.dvr_dvbdev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.filter	1-u64max
PARAM_VALUE	0	fc->dmxdev.filternum	256
PARAM_VALUE	0	fc->dvb_adapter.conn	0
PARAM_VALUE	0	fc->dvb_adapter.conn_pads	0
PARAM_VALUE	0	fc->dvb_adapter.device_list.next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.next->next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.list_head.next	1018538986533793792
PARAM_VALUE	0	fc->dvb_adapter.list_head.prev	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.mdev	0
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.dep_map->name	0-255
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.first_waiter	0
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.owner.counter	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_dvbdev	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.dep_map->name	0-255
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.first_waiter	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.owner.counter	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_shared	0
PARAM_VALUE	0	fc->dvb_adapter.num	0-15
PARAM_VALUE	0	fc->dvb_adapter.priv	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.proposed_mac	0
PARAM_VALUE	0	fc->dvbnet->state	0
PARAM_VALUE	0	fc->dvbnet.demux	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.dvbdev	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.first_waiter	0
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.osq.tail.counter	0
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.owner.counter	0
PARAM_VALUE	0	fc->dvbnet.remove_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->dvbnet.remove_mutex.first_waiter	0
PARAM_VALUE	0	fc->dvbnet.remove_mutex.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.remove_mutex.osq.tail.counter	0
PARAM_VALUE	0	fc->dvbnet.remove_mutex.owner.counter	0
PARAM_VALUE	0	fc->fe	4096-ptr_max
PARAM_VALUE	0	fc->fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_nog	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_prc	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_sgn	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_tnog	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fc->fe->dtv_property_cache.cnr.len	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fc->fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fc->fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fc->fe->dtv_property_cache.frequency	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fc->fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fc->fe->dtv_property_cache.interleaving	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.inversion	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fc->fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fc->fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fc->fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fc->fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fc->fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fc->fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fc->fe->dtv_property_cache.strength.len	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fc->fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fc->fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fc->fe->dvb	4096-ptr_max
PARAM_VALUE	0	fc->fe->dvb->device_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->fe->dvb->device_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->fe->dvb->device_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	fc->fe->frontend_priv	4096-ptr_max
PARAM_VALUE	0	fc->fe->frontend_priv->dvbdev->ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	fc->fe->ops.diseqc_send_burst	3750787589125373952
PARAM_VALUE	0	fc->fe->ops.diseqc_send_master_cmd	1093664001079832576
PARAM_VALUE	0	fc->fe->ops.i2c_gate_ctrl	0
PARAM_VALUE	0	fc->fe->ops.set_tone	4937659265140326400
PARAM_VALUE	0	fc->fe->ops.set_voltage	6760084374664699904
PARAM_VALUE	0	fc->fe->ops.sleep	1341691587171364864
PARAM_VALUE	0	fc->get_mac_addr	8478665232554831872
PARAM_VALUE	0	fc->has_32_hw_pid_filter	0-1
PARAM_VALUE	0	fc->hw_frontend.source	1
PARAM_VALUE	0	fc->i2c_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->i2c_mutex.first_waiter	0
PARAM_VALUE	0	fc->i2c_mutex.magic	4096-ptr_max
PARAM_VALUE	0	fc->i2c_mutex.osq.tail.counter	0
PARAM_VALUE	0	fc->i2c_mutex.owner.counter	0
PARAM_VALUE	0	fc->i2c_request	3888937044043984896
PARAM_VALUE	0	fc->init_state	7
PARAM_VALUE	0	fc->mem_frontend.source	0
PARAM_VALUE	0	fc->owner	0
PARAM_VALUE	0	fc->pid_filtering	1
PARAM_VALUE	0	fc->read_ibi_reg	1522137759293313024
PARAM_VALUE	0	fc->rev	1-3
PARAM_VALUE	0	fc->skip_6_hw_pid_filter	0-1
PARAM_VALUE	0	fc->stream_control	8015571181562601472
PARAM_VALUE	0	fc->write_ibi_reg	6868274338340040704
PARAM_VALUE	0	*fc->bus_specific->data	0-255
PARAM_VALUE	0	*fc->dvb_adapter.proposed_mac	0-255
BUF_SIZE	0	fc	10432
BUF_SIZE	0	fc->dev	1616
DATA_SOURCE	0	fc	r flexcop_device_kmalloc
MEM_ZERO	0	&fc->dvb_adapter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/b2c2/flexcop-pci.c flexcop_pci_probe() -> flexcop_device_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	fc	4096-ptr_max
PARAM_VALUE	0	fc->bus_specific	4096-ptr_max
PARAM_VALUE	0	fc->bus_specific->data_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	fc->bus_specific->data_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	fc->bus_specific->data_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	fc->bus_type	1
PARAM_VALUE	0	fc->demux->cnt_storage	0-255
PARAM_VALUE	0	fc->demux->pesfilter	0
PARAM_VALUE	0	fc->demux->pids	u16max
PARAM_VALUE	0	fc->demux.check_crc32	1-u64max
PARAM_VALUE	0	fc->demux.dmx.add_frontend	7496628551107129344
PARAM_VALUE	0	fc->demux.dmx.allocate_section_feed	5178005904802480128
PARAM_VALUE	0	fc->demux.dmx.allocate_ts_feed	6078934142870974464
PARAM_VALUE	0	fc->demux.dmx.capabilities	13
PARAM_VALUE	0	fc->demux.dmx.close	1912595062064832512
PARAM_VALUE	0	fc->demux.dmx.connect_frontend	3796812085283176448
PARAM_VALUE	0	fc->demux.dmx.disconnect_frontend	1966629886725861376
PARAM_VALUE	0	fc->demux.dmx.frontend	4096-ptr_max
PARAM_VALUE	0	fc->demux.dmx.get_frontends	5994570995935490048
PARAM_VALUE	0	fc->demux.dmx.get_pes_pids	3180627643158437888
PARAM_VALUE	0	fc->demux.dmx.open	5526431022189506560
PARAM_VALUE	0	fc->demux.dmx.priv	4096-ptr_max
PARAM_VALUE	0	fc->demux.dmx.release_section_feed	9006761519503056896
PARAM_VALUE	0	fc->demux.dmx.release_ts_feed	4072780391670812672
PARAM_VALUE	0	fc->demux.dmx.remove_frontend	2496874270895730688
PARAM_VALUE	0	fc->demux.dmx.write	2624585396894089216
PARAM_VALUE	0	fc->demux.feed	1-u64max
PARAM_VALUE	0	fc->demux.feed_list.next	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.next->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.feed_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.feednum	256
PARAM_VALUE	0	fc->demux.filter	1-u64max
PARAM_VALUE	0	fc->demux.filternum	256
PARAM_VALUE	0	fc->demux.frontend_list.next	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.next->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->demux.frontend_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->demux.memcopy	1-u64max
PARAM_VALUE	0	fc->demux.playing	0
PARAM_VALUE	0	fc->demux.priv	4096-ptr_max
PARAM_VALUE	0	fc->demux.recording	0
PARAM_VALUE	0	fc->demux.start_feed	7912007197845393408
PARAM_VALUE	0	fc->demux.stop_feed	5838010552878972928
PARAM_VALUE	0	fc->demux.tsbufp	0
PARAM_VALUE	0	fc->demux.users	0
PARAM_VALUE	0	fc->demux.write_to_decoder	0
PARAM_VALUE	0	fc->dev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.capabilities	0
PARAM_VALUE	0	fc->dmxdev.demux	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.demux->add_frontend	7496628551107129344
PARAM_VALUE	0	fc->dmxdev.demux->allocate_section_feed	5178005904802480128
PARAM_VALUE	0	fc->dmxdev.demux->allocate_ts_feed	6078934142870974464
PARAM_VALUE	0	fc->dmxdev.demux->capabilities	13
PARAM_VALUE	0	fc->dmxdev.demux->close	1912595062064832512
PARAM_VALUE	0	fc->dmxdev.demux->connect_frontend	3796812085283176448
PARAM_VALUE	0	fc->dmxdev.demux->disconnect_frontend	1966629886725861376
PARAM_VALUE	0	fc->dmxdev.demux->frontend	0
PARAM_VALUE	0	fc->dmxdev.demux->get_frontends	5994570995935490048
PARAM_VALUE	0	fc->dmxdev.demux->get_pes_pids	3180627643158437888
PARAM_VALUE	0	fc->dmxdev.demux->open	5526431022189506560
PARAM_VALUE	0	fc->dmxdev.demux->priv	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.demux->release_section_feed	9006761519503056896
PARAM_VALUE	0	fc->dmxdev.demux->release_ts_feed	4072780391670812672
PARAM_VALUE	0	fc->dmxdev.demux->remove_frontend	2496874270895730688
PARAM_VALUE	0	fc->dmxdev.demux->users	s32min-10
PARAM_VALUE	0	fc->dmxdev.demux->write	2624585396894089216
PARAM_VALUE	0	fc->dmxdev.dvbdev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer->data	0-255
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.data	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.error	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.pread	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.pwrite	0
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.next	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.prev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.dvr_buffer.size	8192
PARAM_VALUE	0	fc->dmxdev.dvr_dvbdev	4096-ptr_max
PARAM_VALUE	0	fc->dmxdev.filter	1-u64max
PARAM_VALUE	0	fc->dmxdev.filternum	256
PARAM_VALUE	0	fc->dvb_adapter.conn	0
PARAM_VALUE	0	fc->dvb_adapter.conn_pads	0
PARAM_VALUE	0	fc->dvb_adapter.device_list.next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.next->next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.device_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.list_head.next	1018538986533793792
PARAM_VALUE	0	fc->dvb_adapter.list_head.prev	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.mdev	0
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.dep_map->name	0-255
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.first_waiter	0
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.mdev_lock.owner.counter	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_dvbdev	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.dep_map->name	0-255
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.first_waiter	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.mfe_lock.owner.counter	0
PARAM_VALUE	0	fc->dvb_adapter.mfe_shared	0
PARAM_VALUE	0	fc->dvb_adapter.num	0-15
PARAM_VALUE	0	fc->dvb_adapter.priv	4096-ptr_max
PARAM_VALUE	0	fc->dvb_adapter.proposed_mac	0
PARAM_VALUE	0	fc->dvbnet->state	0
PARAM_VALUE	0	fc->dvbnet.demux	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.dvbdev	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.first_waiter	0
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.osq.tail.counter	0
PARAM_VALUE	0	fc->dvbnet.ioctl_mutex.owner.counter	0
PARAM_VALUE	0	fc->dvbnet.remove_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->dvbnet.remove_mutex.first_waiter	0
PARAM_VALUE	0	fc->dvbnet.remove_mutex.magic	4096-ptr_max
PARAM_VALUE	0	fc->dvbnet.remove_mutex.osq.tail.counter	0
PARAM_VALUE	0	fc->dvbnet.remove_mutex.owner.counter	0
PARAM_VALUE	0	fc->fe	4096-ptr_max
PARAM_VALUE	0	fc->fe->demodulator_priv->i2c->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_nog	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_prc	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_sgn	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.atscmh_tnog	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.bandwidth_hz	0,38961000
PARAM_VALUE	0	fc->fe->dtv_property_cache.cnr.len	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.code_rate_HP	9
PARAM_VALUE	0	fc->fe->dtv_property_cache.code_rate_LP	9
PARAM_VALUE	0	fc->fe->dtv_property_cache.fec_inner	9
PARAM_VALUE	0	fc->fe->dtv_property_cache.frequency	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.guard_interval	4
PARAM_VALUE	0	fc->fe->dtv_property_cache.hierarchy	4
PARAM_VALUE	0	fc->fe->dtv_property_cache.interleaving	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.inversion	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.isdbt_layer_enabled	7
PARAM_VALUE	0	fc->fe->dtv_property_cache.lna	u32max
PARAM_VALUE	0	fc->fe->dtv_property_cache.modulation	0,6-7
PARAM_VALUE	0	fc->fe->dtv_property_cache.pilot	2
PARAM_VALUE	0	fc->fe->dtv_property_cache.rolloff	0-1,3
PARAM_VALUE	0	fc->fe->dtv_property_cache.sectone	1
PARAM_VALUE	0	fc->fe->dtv_property_cache.stream_id	u32max
PARAM_VALUE	0	fc->fe->dtv_property_cache.strength.len	0
PARAM_VALUE	0	fc->fe->dtv_property_cache.symbol_rate	0,28860000
PARAM_VALUE	0	fc->fe->dtv_property_cache.transmission_mode	2
PARAM_VALUE	0	fc->fe->dtv_property_cache.voltage	2
PARAM_VALUE	0	fc->fe->dvb	4096-ptr_max
PARAM_VALUE	0	fc->fe->dvb->device_list.prev	4096-ptr_max
PARAM_VALUE	0	fc->fe->dvb->device_list.prev->next	4096-ptr_max
PARAM_VALUE	0	fc->fe->dvb->device_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	fc->fe->frontend_priv	4096-ptr_max
PARAM_VALUE	0	fc->fe->frontend_priv->dvbdev->ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	fc->fe->ops.diseqc_send_burst	3750787589125373952
PARAM_VALUE	0	fc->fe->ops.diseqc_send_master_cmd	1093664001079832576
PARAM_VALUE	0	fc->fe->ops.i2c_gate_ctrl	0
PARAM_VALUE	0	fc->fe->ops.set_tone	4937659265140326400
PARAM_VALUE	0	fc->fe->ops.set_voltage	6760084374664699904
PARAM_VALUE	0	fc->fe->ops.sleep	1341691587171364864
PARAM_VALUE	0	fc->get_mac_addr	507507850993078272
PARAM_VALUE	0	fc->has_32_hw_pid_filter	0-1
PARAM_VALUE	0	fc->hw_frontend.source	1
PARAM_VALUE	0	fc->i2c_mutex.dep_map->name	0-255
PARAM_VALUE	0	fc->i2c_mutex.first_waiter	0
PARAM_VALUE	0	fc->i2c_mutex.magic	4096-ptr_max
PARAM_VALUE	0	fc->i2c_mutex.osq.tail.counter	0
PARAM_VALUE	0	fc->i2c_mutex.owner.counter	0
PARAM_VALUE	0	fc->i2c_request	5467254045719105536
PARAM_VALUE	0	fc->init_state	7
PARAM_VALUE	0	fc->mem_frontend.source	0
PARAM_VALUE	0	fc->owner	0
PARAM_VALUE	0	fc->read_ibi_reg	5458782375119372288
PARAM_VALUE	0	fc->rev	1-3
PARAM_VALUE	0	fc->skip_6_hw_pid_filter	0-1
PARAM_VALUE	0	fc->stream_control	1582760695802073088
PARAM_VALUE	0	fc->write_ibi_reg	9158268010369892352
PARAM_VALUE	0	*fc->bus_specific->data	0-255
PARAM_VALUE	0	*fc->dvb_adapter.proposed_mac	0-255
BUF_SIZE	0	fc	10432
BUF_SIZE	0	fc->dev	1616
DATA_SOURCE	0	fc	r flexcop_device_kmalloc
MEM_ZERO	0	&fc->dvb_adapter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/b2c2/flexcop-pci.c flexcop_pci_remove() -> flexcop_device_exit()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL