Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/common/siano/smsdvb-main.c smsdvb_hotplug() -> smsdvb_debugfs_create()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->adapter.conn 0
PARAM_VALUE 0 client->adapter.conn_pads 0
PARAM_VALUE 0 client->adapter.device->bus 0,4096-ptr_max
PARAM_VALUE 0 client->adapter.device->class 0,4096-ptr_max
PARAM_VALUE 0 client->adapter.device->driver 0,4096-ptr_max
PARAM_VALUE 0 client->adapter.device_list.next 4096-ptr_max
PARAM_VALUE 0 client->adapter.device_list.next->next 4096-ptr_max
PARAM_VALUE 0 client->adapter.device_list.prev->next 4096-ptr_max
PARAM_VALUE 0 client->adapter.device_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 client->adapter.list_head.next 1018538986533793792
PARAM_VALUE 0 client->adapter.list_head.prev 0,4096-ptr_max
PARAM_VALUE 0 client->adapter.mdev_lock.dep_map->name 0-255
PARAM_VALUE 0 client->adapter.mdev_lock.first_waiter 0
PARAM_VALUE 0 client->adapter.mdev_lock.magic 4096-ptr_max
PARAM_VALUE 0 client->adapter.mdev_lock.owner.counter 0
PARAM_VALUE 0 client->adapter.mfe_dvbdev 0
PARAM_VALUE 0 client->adapter.mfe_lock.dep_map->name 0-255
PARAM_VALUE 0 client->adapter.mfe_lock.first_waiter 0
PARAM_VALUE 0 client->adapter.mfe_lock.magic 4096-ptr_max
PARAM_VALUE 0 client->adapter.mfe_lock.owner.counter 0
PARAM_VALUE 0 client->adapter.mfe_shared 0
PARAM_VALUE 0 client->adapter.num 0-15
PARAM_VALUE 0 client->adapter.priv 0
PARAM_VALUE 0 client->coredev 4096-ptr_max
PARAM_VALUE 0 client->coredev->clients.next 4096-ptr_max
PARAM_VALUE 0 client->demux->pesfilter 0
PARAM_VALUE 0 client->demux->pids u16max
PARAM_VALUE 0 client->demux.check_crc32 1-u64max
PARAM_VALUE 0 client->demux.dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 client->demux.dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 client->demux.dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 client->demux.dmx.capabilities 1
PARAM_VALUE 0 client->demux.dmx.close 1912595062064832512
PARAM_VALUE 0 client->demux.dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 client->demux.dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 client->demux.dmx.frontend 0
PARAM_VALUE 0 client->demux.dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 client->demux.dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 client->demux.dmx.open 5526431022189506560
PARAM_VALUE 0 client->demux.dmx.priv 4096-ptr_max
PARAM_VALUE 0 client->demux.dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 client->demux.dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 client->demux.dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 client->demux.dmx.write 2624585396894089216
PARAM_VALUE 0 client->demux.feed 1-u64max
PARAM_VALUE 0 client->demux.feed_list.next 4096-ptr_max
PARAM_VALUE 0 client->demux.feed_list.next->next 4096-ptr_max
PARAM_VALUE 0 client->demux.feed_list.prev 4096-ptr_max
PARAM_VALUE 0 client->demux.feed_list.prev->next 4096-ptr_max
PARAM_VALUE 0 client->demux.feed_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 client->demux.feednum 32
PARAM_VALUE 0 client->demux.filter 1-u64max
PARAM_VALUE 0 client->demux.filternum 32
PARAM_VALUE 0 client->demux.frontend_list.next 4096-ptr_max
PARAM_VALUE 0 client->demux.frontend_list.next->next 4096-ptr_max
PARAM_VALUE 0 client->demux.frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 client->demux.frontend_list.prev->next 4096-ptr_max
PARAM_VALUE 0 client->demux.frontend_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 client->demux.memcopy 1-u64max
PARAM_VALUE 0 client->demux.playing 0
PARAM_VALUE 0 client->demux.recording 0
PARAM_VALUE 0 client->demux.start_feed 7513431299973357568
PARAM_VALUE 0 client->demux.stop_feed 5017352390331424768
PARAM_VALUE 0 client->demux.tsbufp 0
PARAM_VALUE 0 client->demux.users 0
PARAM_VALUE 0 client->dmxdev.capabilities 0
PARAM_VALUE 0 client->dmxdev.demux 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.demux->add_frontend 7496628551107129344
PARAM_VALUE 0 client->dmxdev.demux->allocate_section_feed 5178005904802480128
PARAM_VALUE 0 client->dmxdev.demux->allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 client->dmxdev.demux->capabilities 1
PARAM_VALUE 0 client->dmxdev.demux->close 1912595062064832512
PARAM_VALUE 0 client->dmxdev.demux->connect_frontend 3796812085283176448
PARAM_VALUE 0 client->dmxdev.demux->disconnect_frontend 1966629886725861376
PARAM_VALUE 0 client->dmxdev.demux->frontend 0
PARAM_VALUE 0 client->dmxdev.demux->get_frontends 5994570995935490048
PARAM_VALUE 0 client->dmxdev.demux->get_pes_pids 3180627643158437888
PARAM_VALUE 0 client->dmxdev.demux->open 5526431022189506560
PARAM_VALUE 0 client->dmxdev.demux->priv 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.demux->release_section_feed 9006761519503056896
PARAM_VALUE 0 client->dmxdev.demux->release_ts_feed 4072780391670812672
PARAM_VALUE 0 client->dmxdev.demux->remove_frontend 2496874270895730688
PARAM_VALUE 0 client->dmxdev.demux->users s32min-10
PARAM_VALUE 0 client->dmxdev.demux->write 2624585396894089216
PARAM_VALUE 0 client->dmxdev.dvbdev 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.dvr_buffer->data 0-255
PARAM_VALUE 0 client->dmxdev.dvr_buffer.data 0
PARAM_VALUE 0 client->dmxdev.dvr_buffer.error 0
PARAM_VALUE 0 client->dmxdev.dvr_buffer.pread 0
PARAM_VALUE 0 client->dmxdev.dvr_buffer.pwrite 0
PARAM_VALUE 0 client->dmxdev.dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.dvr_buffer.queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.dvr_buffer.queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.dvr_buffer.queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.dvr_buffer.size 8192
PARAM_VALUE 0 client->dmxdev.dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 client->dmxdev.filter 1-u64max
PARAM_VALUE 0 client->dmxdev.filternum 32
PARAM_VALUE 0 client->entry.next 4096-ptr_max
PARAM_VALUE 0 client->entry.prev 419137555270754304
PARAM_VALUE 0 client->event_fe_state (-1),3-4
PARAM_VALUE 0 client->event_unc_state (-1),5-6
PARAM_VALUE 0 client->frontend.dtv_property_cache.bandwidth_hz 0,38961000
PARAM_VALUE 0 client->frontend.dtv_property_cache.code_rate_HP 9
PARAM_VALUE 0 client->frontend.dtv_property_cache.code_rate_LP 9
PARAM_VALUE 0 client->frontend.dtv_property_cache.fec_inner 9
PARAM_VALUE 0 client->frontend.dtv_property_cache.guard_interval 4
PARAM_VALUE 0 client->frontend.dtv_property_cache.hierarchy 4
PARAM_VALUE 0 client->frontend.dtv_property_cache.isdbt_layer_enabled 7
PARAM_VALUE 0 client->frontend.dtv_property_cache.lna u32max
PARAM_VALUE 0 client->frontend.dtv_property_cache.modulation 0,6-7
PARAM_VALUE 0 client->frontend.dtv_property_cache.pilot 2
PARAM_VALUE 0 client->frontend.dtv_property_cache.rolloff 0-1,3
PARAM_VALUE 0 client->frontend.dtv_property_cache.sectone 1
PARAM_VALUE 0 client->frontend.dtv_property_cache.stream_id u32max
PARAM_VALUE 0 client->frontend.dtv_property_cache.symbol_rate 0,28860000
PARAM_VALUE 0 client->frontend.dtv_property_cache.transmission_mode 2
PARAM_VALUE 0 client->frontend.dtv_property_cache.voltage 2
PARAM_VALUE 0 client->frontend.dvb 4096-ptr_max
PARAM_VALUE 0 client->frontend.frontend_priv 4096-ptr_max
PARAM_VALUE 0 client->smsclient 4096-ptr_max
PARAM_VALUE 0 client->smsclient->coredev s64min-(-4096),4096-s64max
PARAM_VALUE 0 client->smsclient->onremove_handler 3725203950145826816
PARAM_VALUE 0 client->smsclient->onresponse_handler 6238557642165358592
PARAM_VALUE 0 client->stats_done.done 0
PARAM_VALUE 0 client->stats_done.wait.lock.magic 3735899821
PARAM_VALUE 0 client->stats_done.wait.lock.owner (-1)
PARAM_VALUE 0 client->stats_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 client->stats_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 client->stats_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 client->stats_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 client->stats_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 client->stats_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 client->tune_done.done 0
PARAM_VALUE 0 client->tune_done.wait.lock.magic 3735899821
PARAM_VALUE 0 client->tune_done.wait.lock.owner (-1)
PARAM_VALUE 0 client->tune_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 client->tune_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 client->tune_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 client->tune_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 client->tune_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 client->tune_done.wait.task_list.prev->prev 4096-ptr_max
BUF_SIZE 0 client 4208
BUF_SIZE 0 client->dmxdev.demux 136
CAPPED_DATA 0 client->frontend.frontend_priv 1
DATA_SOURCE 0 client r _kzalloc_noprof
MEM_ZERO 0 &client->adapter
MEM_ZERO 0 &client->frontend.dtv_property_cache
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 client->dmxdev.filternum
LOCK2 global &g_smscore_deviceslock