Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->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->prev 4096-ptr_max
PARAM_VALUE 0 fc->dvb_adapter.list_head.next 1018538986533793792
PARAM_VALUE 0 fc->dvb_adapter.list_head.prev 0,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.owner.counter 0
PARAM_VALUE 0 fc->fe 4096-ptr_max
PARAM_VALUE 0 fc->fe->demodulator_priv->i2c->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
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->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,8478665232554831872
PARAM_VALUE 0 fc->has_32_hw_pid_filter 0-1
PARAM_VALUE 0 fc->hw_frontend.connectivity_list.next 4096-ptr_max
PARAM_VALUE 0 fc->hw_frontend.connectivity_list.prev 4096-ptr_max
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,5467254045719105536
PARAM_VALUE 0 fc->init_state 0,4-s32max
PARAM_VALUE 0 fc->mem_frontend.connectivity_list.next 4096-ptr_max
PARAM_VALUE 0 fc->mem_frontend.connectivity_list.prev 4096-ptr_max
PARAM_VALUE 0 fc->mem_frontend.source 0
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->skip_6_hw_pid_filter 1
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
PARAM_VALUE 1 prefix 7306394214546653184
PARAM_VALUE 2 suffix 2324616352641343488
BUF_SIZE 0 fc 10432
BUF_SIZE 0 fc->dev 1616
BUF_SIZE 1 prefix 18
BUF_SIZE 2 suffix 9
DATA_SOURCE 0 fc $0
STR_LEN 0 fc 17
STR_LEN 1 prefix 8
TERMINATED 1 prefix 1
TERMINATED 2 suffix 1
HARD_MAX 0 fc->bus_type 1
MEM_ZERO 0 &fc->dvb_adapter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL