Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/firewire/firedtv-dvb.c fdtv_dvb_register() -> fdtv_frontend_init()

Type Parameter Key Value
PARAM_VALUE 0 fdtv 4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.conn 0
PARAM_VALUE 0 fdtv->adapter.conn_pads 0
PARAM_VALUE 0 fdtv->adapter.device_list.next 4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.device_list.next->next 4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.device_list.prev->next 4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.device_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.list_head.next 1018538986533793792
PARAM_VALUE 0 fdtv->adapter.list_head.prev 0,4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.mdev 0
PARAM_VALUE 0 fdtv->adapter.mdev_lock.dep_map->name 0-255
PARAM_VALUE 0 fdtv->adapter.mdev_lock.first_waiter 0
PARAM_VALUE 0 fdtv->adapter.mdev_lock.magic 4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.mdev_lock.owner.counter 0
PARAM_VALUE 0 fdtv->adapter.mfe_dvbdev 0
PARAM_VALUE 0 fdtv->adapter.mfe_lock.dep_map->name 0-255
PARAM_VALUE 0 fdtv->adapter.mfe_lock.first_waiter 0
PARAM_VALUE 0 fdtv->adapter.mfe_lock.magic 4096-ptr_max
PARAM_VALUE 0 fdtv->adapter.mfe_lock.osq.tail.counter 0
PARAM_VALUE 0 fdtv->adapter.mfe_lock.owner.counter 0
PARAM_VALUE 0 fdtv->adapter.mfe_shared 0
PARAM_VALUE 0 fdtv->adapter.num 0-15
PARAM_VALUE 0 fdtv->adapter.priv 0
PARAM_VALUE 0 fdtv->avc_data 4096-ptr_max
PARAM_VALUE 0 fdtv->avc_data->ctype 0
PARAM_VALUE 0 fdtv->avc_data->opcode 9
PARAM_VALUE 0 fdtv->avc_data->response 9,12
PARAM_VALUE 0 fdtv->avc_data->subunit 0-255
PARAM_VALUE 0 fdtv->avc_data_length 12
PARAM_VALUE 0 fdtv->avc_mutex.dep_map->name 0-255
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 fdtv->avc_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 fdtv->avc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fdtv->avc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fdtv->avc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fdtv->avc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fdtv->demux->pesfilter 0
PARAM_VALUE 0 fdtv->demux->pids u16max
PARAM_VALUE 0 fdtv->demux.check_crc32 1-u64max
PARAM_VALUE 0 fdtv->demux.dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 fdtv->demux.dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 fdtv->demux.dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 fdtv->demux.dmx.capabilities 0
PARAM_VALUE 0 fdtv->demux.dmx.close 1912595062064832512
PARAM_VALUE 0 fdtv->demux.dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 fdtv->demux.dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 fdtv->demux.dmx.frontend 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 fdtv->demux.dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 fdtv->demux.dmx.open 5526431022189506560
PARAM_VALUE 0 fdtv->demux.dmx.priv 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 fdtv->demux.dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 fdtv->demux.dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 fdtv->demux.dmx.write 2624585396894089216
PARAM_VALUE 0 fdtv->demux.feed 1-u64max
PARAM_VALUE 0 fdtv->demux.feed_list.next 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.feed_list.next->next 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.feed_list.prev 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.feed_list.prev->next 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.feed_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.feednum 16
PARAM_VALUE 0 fdtv->demux.filter 1-u64max
PARAM_VALUE 0 fdtv->demux.filternum 16
PARAM_VALUE 0 fdtv->demux.frontend_list.next 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.frontend_list.next->next 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.frontend_list.prev->next 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.frontend_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.memcopy 1-u64max
PARAM_VALUE 0 fdtv->demux.playing 0
PARAM_VALUE 0 fdtv->demux.priv 4096-ptr_max
PARAM_VALUE 0 fdtv->demux.recording 0
PARAM_VALUE 0 fdtv->demux.start_feed 8604792698732773376
PARAM_VALUE 0 fdtv->demux.stop_feed 2621920953493438464
PARAM_VALUE 0 fdtv->demux.tsbufp 0
PARAM_VALUE 0 fdtv->demux.users 0
PARAM_VALUE 0 fdtv->demux.write_to_decoder 0
PARAM_VALUE 0 fdtv->demux_mutex.dep_map->name 0-255
PARAM_VALUE 0 fdtv->demux_mutex.first_waiter 0
PARAM_VALUE 0 fdtv->demux_mutex.magic 4096-ptr_max
PARAM_VALUE 0 fdtv->demux_mutex.osq.tail.counter 0
PARAM_VALUE 0 fdtv->demux_mutex.owner.counter 0
PARAM_VALUE 0 fdtv->device 4096-ptr_max
PARAM_VALUE 0 fdtv->device->driver_data 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.capabilities 0
PARAM_VALUE 0 fdtv->dmxdev.demux 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.demux->add_frontend 7496628551107129344
PARAM_VALUE 0 fdtv->dmxdev.demux->allocate_section_feed 5178005904802480128
PARAM_VALUE 0 fdtv->dmxdev.demux->allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 fdtv->dmxdev.demux->capabilities 0
PARAM_VALUE 0 fdtv->dmxdev.demux->close 1912595062064832512
PARAM_VALUE 0 fdtv->dmxdev.demux->connect_frontend 3796812085283176448
PARAM_VALUE 0 fdtv->dmxdev.demux->disconnect_frontend 1966629886725861376
PARAM_VALUE 0 fdtv->dmxdev.demux->frontend 0
PARAM_VALUE 0 fdtv->dmxdev.demux->get_frontends 5994570995935490048
PARAM_VALUE 0 fdtv->dmxdev.demux->get_pes_pids 3180627643158437888
PARAM_VALUE 0 fdtv->dmxdev.demux->open 5526431022189506560
PARAM_VALUE 0 fdtv->dmxdev.demux->priv 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.demux->release_section_feed 9006761519503056896
PARAM_VALUE 0 fdtv->dmxdev.demux->release_ts_feed 4072780391670812672
PARAM_VALUE 0 fdtv->dmxdev.demux->remove_frontend 2496874270895730688
PARAM_VALUE 0 fdtv->dmxdev.demux->users s32min-10
PARAM_VALUE 0 fdtv->dmxdev.demux->write 2624585396894089216
PARAM_VALUE 0 fdtv->dmxdev.dvbdev 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer->data 0-255
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.data 0
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.error 0
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.pread 0
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.pwrite 0
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.queue.head.next 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.dvr_buffer.size 8192
PARAM_VALUE 0 fdtv->dmxdev.dvr_dvbdev 4096-ptr_max
PARAM_VALUE 0 fdtv->dmxdev.filter 1-u64max
PARAM_VALUE 0 fdtv->dmxdev.filternum 16
PARAM_VALUE 0 fdtv->dvbnet->state 0
PARAM_VALUE 0 fdtv->dvbnet.demux 4096-ptr_max
PARAM_VALUE 0 fdtv->dvbnet.dvbdev 4096-ptr_max
PARAM_VALUE 0 fdtv->dvbnet.ioctl_mutex.dep_map->name 0-255
PARAM_VALUE 0 fdtv->dvbnet.ioctl_mutex.first_waiter 0
PARAM_VALUE 0 fdtv->dvbnet.ioctl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 fdtv->dvbnet.ioctl_mutex.owner.counter 0
PARAM_VALUE 0 fdtv->dvbnet.remove_mutex.dep_map->name 0-255
PARAM_VALUE 0 fdtv->dvbnet.remove_mutex.first_waiter 0
PARAM_VALUE 0 fdtv->dvbnet.remove_mutex.magic 4096-ptr_max
PARAM_VALUE 0 fdtv->dvbnet.remove_mutex.owner.counter 0
PARAM_VALUE 0 fdtv->frontend.connectivity_list.next 4096-ptr_max
PARAM_VALUE 0 fdtv->frontend.connectivity_list.prev 4096-ptr_max
PARAM_VALUE 0 fdtv->frontend.source 1
PARAM_VALUE 0 fdtv->isochannel (-1)
PARAM_VALUE 0 fdtv->list.next 4086685753431560192
PARAM_VALUE 0 fdtv->list.prev 4096-ptr_max
PARAM_VALUE 0 fdtv->remote_ctrl_dev 4096-ptr_max
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.class 8160808337149124608
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.kobj.state_initialized 1
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.links.status 0
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.numa_node (-1)
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.power.disable_depth 1
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.power.early_init 1
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.power.last_status (-1)
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.power.qos 0
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.power.runtime_auto 1
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.power.runtime_status 2
PARAM_VALUE 0 fdtv->remote_ctrl_dev->dev.type 5029887639516573696
PARAM_VALUE 0 fdtv->remote_ctrl_dev->max_vals 10
PARAM_VALUE 0 fdtv->remote_ctrl_dev->timer.flags 0-4194302
PARAM_VALUE 0 fdtv->tone 255
PARAM_VALUE 0 fdtv->type 0-4
PARAM_VALUE 0 fdtv->voltage 255
BUF_SIZE 0 fdtv 5480
BUF_SIZE 0 fdtv->demux.priv 5480
BUF_SIZE 0 fdtv->device 1616
BUF_SIZE 0 fdtv->dmxdev.demux 136
DATA_SOURCE 0 fdtv $0
DATA_SOURCE 1 name $1
MEM_ZERO 0 &fdtv->adapter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fdtv->dmxdev.filternum
NO_OVERFLOW_SIMPLE 0 fdtv->remote_ctrl_dev->max_vals