Defined in 10 files as a variable:

Defined in 1 files as a struct:

Defined in 1 files as a prototype:

Defined in 543 files as a member:

Defined in 1 files as a label:

Defined in 13 files as a function:

Referenced in 3542 files:

Smatch caller information:

lib/rbtree_test.c augmented_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

lib/rbtree_test.c augmented_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

lib/rbtree_test.c basic_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

lib/rbtree_test.c basic_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

drivers/net/ethernet/freescale/fman/fman_tgec.c tgec_init() -> init()

Type Parameter Key Value
PARAM_VALUE 1 cfg 4096-ptr_max
PARAM_VALUE 2 iface 73723,98299
BIT_INFO 2 iface 0x11ffb,0x17ffb

drivers/net/ethernet/freescale/fman/fman_port.c init_low_level_driver() -> init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->bm_max_num_of_pools 64
PARAM_VALUE 0 mci->buffer_offsets.data_offset 64,272
PARAM_VALUE 0 mci->buffer_offsets.hash_result_offset 56,264
PARAM_VALUE 0 mci->buffer_offsets.prs_result_offset 16,224
PARAM_VALUE 0 mci->buffer_offsets.time_stamp_offset 48,256
PARAM_VALUE 0 mci->cfg 4096-ptr_max
PARAM_VALUE 0 mci->cfg->buf_margins.start_margins 64,272
PARAM_VALUE 0 mci->cfg->buffer_prefix_content.data_align 16
PARAM_VALUE 0 mci->cfg->buffer_prefix_content.pass_hash_result 1
PARAM_VALUE 0 mci->cfg->buffer_prefix_content.pass_prs_result 1
PARAM_VALUE 0 mci->cfg->buffer_prefix_content.pass_time_stamp 1
PARAM_VALUE 0 mci->cfg->buffer_prefix_content.priv_data_size 16,224
PARAM_VALUE 0 mci->cfg->color 0
PARAM_VALUE 0 mci->cfg->deq_byte_cnt 1024,5120
PARAM_VALUE 0 mci->cfg->deq_high_priority 1
PARAM_VALUE 0 mci->cfg->deq_prefetch_option 2
PARAM_VALUE 0 mci->cfg->deq_sp 0-31
PARAM_VALUE 0 mci->cfg->deq_type 0
PARAM_VALUE 0 mci->cfg->discard_mask 131072
PARAM_VALUE 0 mci->cfg->dma_swap_data 0
PARAM_VALUE 0 mci->cfg->errata_A006320 1
PARAM_VALUE 0 mci->cfg->excessive_threshold_register 1
PARAM_VALUE 0 mci->cfg->fmbm_tfne_has_features 1
PARAM_VALUE 0 mci->cfg->int_buf_start_margin 0-255
PARAM_VALUE 0 mci->cfg->int_context.ext_buf_offset 16,224
PARAM_VALUE 0 mci->cfg->int_context.int_context_offset 32
PARAM_VALUE 0 mci->cfg->int_context.size 48
PARAM_VALUE 0 mci->cfg->pcd_fqs_count 0,128
PARAM_VALUE 0 mci->cfg->rx_cut_end_bytes 4
PARAM_VALUE 0 mci->cfg->rx_fifo_thr 0,122880,147456,163840,196608,262144
PARAM_VALUE 0 mci->cfg->rx_pri_elevation 0,163840,196608,262144
PARAM_VALUE 0 mci->cfg->tx_fifo_deq_pipeline_depth 1,4
PARAM_VALUE 0 mci->cfg->tx_fifo_low_comf_level 5120
PARAM_VALUE 0 mci->dts_params.speed 1000,10000
PARAM_VALUE 0 mci->dts_params.type 0-1
PARAM_VALUE 0 mci->ext_pools_num 8
PARAM_VALUE 0 mci->fifo_bufs.extra 0
PARAM_VALUE 0 mci->fifo_bufs.num 11264-11520,12288,12800,16384,24576
PARAM_VALUE 0 mci->fm 4096-ptr_max
PARAM_VALUE 0 mci->fm->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mci->fm->state->accumulated_fifo_size 0-4294967295
PARAM_VALUE 0 mci->fm->state->accumulated_num_of_deq_tnums 0-255
PARAM_VALUE 0 mci->fm->state->accumulated_num_of_open_dmas 0-255
PARAM_VALUE 0 mci->fm->state->accumulated_num_of_tasks 0-255
PARAM_VALUE 0 mci->fm->state->extra_fifo_pool_size 0-4294967295
PARAM_VALUE 0 mci->fm->state->extra_open_dmas_pool_size 1-255
PARAM_VALUE 0 mci->fm->state->extra_tasks_pool_size 2-255
PARAM_VALUE 0 mci->max_frame_length 9600
PARAM_VALUE 0 mci->max_num_of_ext_pools 4,8
PARAM_VALUE 0 mci->max_num_of_sub_portals 12,16
PARAM_VALUE 0 mci->max_port_fifo_size 0-262144
PARAM_VALUE 0 mci->open_dmas.extra 0-1,8
PARAM_VALUE 0 mci->open_dmas.num 1-3,8,12,16
PARAM_VALUE 0 mci->port_id 0
PARAM_VALUE 0 mci->port_speed 1000,10000
PARAM_VALUE 0 mci->port_type 0-1
PARAM_VALUE 0 mci->rev_info.major 2-3,6
PARAM_VALUE 0 mci->tasks.extra 0,2,8
PARAM_VALUE 0 mci->tasks.num 3-4,16
PARAM_VALUE 0 *mci->fm->state->port_mfl 9600
CAPPED_DATA 0 mci->fifo_bufs.num 1
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mci->rev_info.minor 0-255

lib/interval_tree_test.c basic_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

lib/interval_tree_test.c intersection_range_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

lib/interval_tree_test.c search_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

lib/interval_tree_test.c span_iteration_check() -> init()

Type Parameter Key Value
NOCHECK_CALL

drivers/net/ethernet/freescale/fman/fman_memac.c memac_init() -> init()

Type Parameter Key Value
PARAM_VALUE 1 cfg 4096-ptr_max
NOCHECK_CALL

drivers/media/dvb-frontends/cxd2099.c cxd2099_probe() -> init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->client 4096-ptr_max
PARAM_VALUE 0 mci->client->adapter 4096-ptr_max
PARAM_VALUE 0 mci->client->debugfs 4096-u64max
PARAM_VALUE 0 mci->client->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mci->client->devres_group_id 4096-ptr_max
PARAM_VALUE 0 mci->clk_reg_b 74
PARAM_VALUE 0 mci->clk_reg_f 27
PARAM_VALUE 0 mci->en.data 4096-ptr_max
PARAM_VALUE 0 mci->lastaddress 255
PARAM_VALUE 0 mci->lock.dep_map->name 0-255
PARAM_VALUE 0 mci->lock.first_waiter 0
PARAM_VALUE 0 mci->lock.magic 4096-ptr_max
PARAM_VALUE 0 mci->lock.osq.tail.counter 0
PARAM_VALUE 0 mci->lock.owner.counter 0
PARAM_VALUE 0 mci->regmap 4096-ptr_max
PARAM_VALUE 0 mci->regmap->lock 4096-ptr_max
PARAM_VALUE 0 mci->regmap->unlock 4096-ptr_max
PARAM_VALUE 0 *mci->regmap->cache->data 0-4294967295
BUF_SIZE 0 mci 3448
BUF_SIZE 0 mci->en.data 3448
CAPPED_DATA 0 mci->client->irq 1
DATA_SOURCE 0 mci r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mci->client->irq

drivers/net/ethernet/freescale/fman/fman_dtsec.c dtsec_init() -> init()

Type Parameter Key Value
PARAM_VALUE 1 cfg 4096-ptr_max
PARAM_VALUE 1 cfg->tx_pad_crc 1
PARAM_VALUE 2 iface 0-37
PARAM_VALUE 5 exception_mask 3251095555
UNITS 6 tbi_addr unit_array_size

drivers/media/tuners/tda8290.c tda829x_find_tuner() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->analog_demod_priv 4096-ptr_max
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->devt 0-4294967295
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->id 0-4294967295
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 mci->analog_demod_priv->i2c_props.adap->dev.parent->removable 0-4294967295
PARAM_VALUE 0 mci->ops.tuner_ops.init 1-u64max
BUF_SIZE 0 mci->analog_demod_priv 80
DATA_SOURCE 0 mci $0
CONTAINER 0 -160-408-8+0 $(-1)
NOCHECK_CALL

drivers/media/usb/cx231xx/cx231xx-dvb.c cx231xx_reset_analog_tuner() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock

drivers/media/tuners/tda827x.c tda827x_initial_init() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->tuner_priv 4096-ptr_max
PARAM_VALUE 0 mci->tuner_priv->cfg->agcf 2135456433612513280,4236264912443215872
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->bus_lock.rtmutex.owner 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->bus_lock.rtmutex.waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->devt 0-4294967295
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->id 0-4294967295
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 mci->tuner_priv->i2c_adap->dev.parent->removable 0-4294967295
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci->analog_demod_priv (-1),80
DATA_SOURCE 0 mci $0
CONTAINER 0 -160-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/usb/dvb-usb/af9005-fe.c af9005_fe_init() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 mci->dvb 4096-ptr_max
PARAM_VALUE 0 mci->ops.tuner_ops.release 0
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
DATA_SOURCE 0 mci $0
CONTAINER 0 -160-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/pci/pt3/pt3.c pt3_fe_init() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->ops.delsys 4096-ptr_max
CONTAINER 0 -160-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/media/pci/pt3/pt3.c pt3_fe_init() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->ops.delsys 4096-ptr_max
CONTAINER 0 -160-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/media/dvb-frontends/rtl2832_sdr.c rtl2832_sdr_set_tuner() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->ops.tuner_ops.init 1-u64max
CONTAINER 0 -160-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->v4l2_lock
HALF_LOCKED2 &dmxdev->mutex
HALF_LOCKED2 vq->lock
TYPE_LOCK (struct rtl2832_sdr_dev)->v4l2_lock

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_init() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->frontend_priv 4096-ptr_max
PARAM_VALUE 0 mci->ops.tuner_ops.init 1-u64max
BUF_SIZE 0 mci 128
BUF_SIZE 0 mci 128
DATA_SOURCE 0 mci $0
CONTAINER 0 -160-408-8+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fepriv->sem

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_resume() -> (struct dvb_tuner_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->exit 3
PARAM_VALUE 0 mci->ops.tuner_ops.init 1-u64max
PARAM_VALUE 0 mci->ops.tuner_ops.resume 0
DATA_SOURCE 0 mci $0
CONTAINER 0 -160-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &em28xx_devlist_mutex

drivers/media/dvb-frontends/dib8000.c dib8000_wakeup() -> (struct dvb_frontend_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/pci/pt3/pt3.c pt3_fe_init() -> (struct dvb_frontend_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->ops.delsys 4096-ptr_max
CONTAINER 0 -192-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_init() -> (struct dvb_frontend_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->frontend_priv 4096-ptr_max
PARAM_VALUE 0 mci->ops.init 1-u64max
BUF_SIZE 0 mci 128
BUF_SIZE 0 mci 128
DATA_SOURCE 0 mci $0
CONTAINER 0 -192-8+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fepriv->sem

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_resume() -> (struct dvb_frontend_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->exit 3
PARAM_VALUE 0 mci->ops.init 1-u64max
PARAM_VALUE 0 mci->ops.resume 0
DATA_SOURCE 0 mci $0
CONTAINER 0 -192-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &em28xx_devlist_mutex

drivers/media/usb/dvb-usb/technisat-usb2.c technisat_usb2_frontend_attach() -> (struct dvb_frontend_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/media/pci/ddbridge/ddbridge-mci.c ddb_mci_attach() -> (struct mci_cfg)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->base 4096-ptr_max
PARAM_VALUE 0 mci->base->completion.done 0
PARAM_VALUE 0 mci->base->completion.wait.lock.magic 3735899821
PARAM_VALUE 0 mci->base->completion.wait.lock.owner (-1)
PARAM_VALUE 0 mci->base->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 mci->base->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 mci->base->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 mci->base->link 4096-ptr_max
PARAM_VALUE 0 mci->base->link->dev 4096-ptr_max
PARAM_VALUE 0 mci->base->mci_lock.first_waiter 0
PARAM_VALUE 0 mci->base->mci_lock.magic 4096-ptr_max
PARAM_VALUE 0 mci->base->mci_lock.osq.tail.counter 0
PARAM_VALUE 0 mci->base->mci_lock.owner.counter 0
PARAM_VALUE 0 mci->base->tuner_lock.first_waiter 0
PARAM_VALUE 0 mci->base->tuner_lock.magic 4096-ptr_max
PARAM_VALUE 0 mci->base->tuner_lock.osq.tail.counter 0
PARAM_VALUE 0 mci->base->tuner_lock.owner.counter 0
PARAM_VALUE 0 mci->fe.demodulator_priv 4096-ptr_max
BUF_SIZE 0 mci 1464
BUF_SIZE 0 mci 1464
BUF_SIZE 0 mci->base 520,u64max
BUF_SIZE 0 mci->fe.demodulator_priv 1464
DATA_SOURCE 0 mci r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

init/main.c do_one_initcall() -> do_one_initcall param 0()

Type Parameter Key Value

drivers/staging/media/av7110/av7110.c av7110_fe_init() -> (struct av7110)->fe_init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->dvb 4096-ptr_max
PARAM_VALUE 0 mci->dvb->priv 4096-ptr_max
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/usb/dvb-usb-v2/af9015.c af9015_tuner_init() -> (struct af9015_state)->tuner_init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->dvb 4096-ptr_max
PARAM_VALUE 0 mci->dvb->priv 4096-ptr_max
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci->analog_demod_priv (-1),80
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &state->fe_mutex
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &state->fe_mutex
TYPE_LOCK (struct af9015_state)->fe_mutex

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_fe_wakeup() -> (struct dvb_usb_fe_adapter)->fe_init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->dvb 4096-ptr_max
PARAM_VALUE 0 mci->dvb->priv 4096-ptr_max
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/usb/dvb-usb-v2/mxl111sf.c mxl111sf_adap_fe_init() -> (struct mxl111sf_adap_state)->fe_init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->dvb 4096-ptr_max
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &state->fe_lock
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex
TYPE_LOCK (struct mxl111sf_state)->fe_lock

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usb_fe_init() -> (struct dvb_usb_adapter)->fe_init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->dvb 4096-ptr_max
PARAM_VALUE 0 mci->dvb->priv 4096-ptr_max
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/usb/dvb-usb-v2/af9015.c af9015_af9013_init() -> (struct af9015_state)->init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->dvb 4096-ptr_max
PARAM_VALUE 0 mci->dvb->priv 4096-ptr_max
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &state->fe_mutex
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex
TYPE_LOCK (struct af9015_state)->fe_mutex

drivers/media/pci/pt1/pt1.c pt1_wakeup() -> (struct pt1_adapter)->orig_init()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
BUF_SIZE 0 mci (-1),64,128,280,1024
BUF_SIZE 0 mci (-1),64,128,280,1024
DATA_SOURCE 0 mci $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex

Smatch assignments to (struct nft_expr_ops)->init:

net/netfilter/nft_synproxy.c (null)() -> (struct nft_expr_ops)->init [1249424187018760192]

net/bridge/netfilter/nft_reject_bridge.c (null)() -> (struct nft_expr_ops)->init [3518508559482707968]

net/netfilter/nft_objref.c (null)() -> (struct nft_expr_ops)->init [6885097900836597760,8457364448598593536]

net/netfilter/nft_last.c (null)() -> (struct nft_expr_ops)->init [7997404736660893696]

net/netfilter/nft_log.c (null)() -> (struct nft_expr_ops)->init [8926171396500025344]

net/netfilter/nft_cmp.c (null)() -> (struct nft_expr_ops)->init [27552789556539392,3837508529261268992,6674972618536357888]

net/netfilter/nft_cmp.c nft_cmp_select_ops() -> (struct nft_expr_ops)->init [0-u64max]

net/netfilter/nft_immediate.c (null)() -> (struct nft_expr_ops)->init [5713757887146037248]

net/netfilter/nft_numgen.c (null)() -> (struct nft_expr_ops)->init [1524172535454224384,4233210080337039360]

net/netfilter/nft_byteorder.c (null)() -> (struct nft_expr_ops)->init [9073145251254198272]

net/ipv4/netfilter/nft_reject_ipv4.c (null)() -> (struct nft_expr_ops)->init [3518508559482707968]

net/netfilter/nft_quota.c (null)() -> (struct nft_expr_ops)->init [4362698297401217024]

net/netfilter/nft_dynset.c (null)() -> (struct nft_expr_ops)->init [3029807797991514112]

net/netfilter/nft_nat.c (null)() -> (struct nft_expr_ops)->init [3783788000529727488]

net/netfilter/nft_counter.c (null)() -> (struct nft_expr_ops)->init [877586740416966656]

net/netfilter/nft_redir.c (null)() -> (struct nft_expr_ops)->init [725892161948160000]

net/ipv6/netfilter/nft_reject_ipv6.c (null)() -> (struct nft_expr_ops)->init [3518508559482707968]

net/netfilter/nft_exthdr.c (null)() -> (struct nft_expr_ops)->init [2033175067261952000,3871776617148207104,5280675796685238272,7768228324786712576,8281363197943586816]

net/netfilter/nft_tproxy.c (null)() -> (struct nft_expr_ops)->init [544299575960281088]

net/netfilter/nft_payload.c (null)() -> (struct nft_expr_ops)->init [1104079940442206208,1647035182227992576,6696674399715139584]

net/ipv4/netfilter/nft_dup_ipv4.c (null)() -> (struct nft_expr_ops)->init [8607178019592028160]

net/ipv6/netfilter/nft_dup_ipv6.c (null)() -> (struct nft_expr_ops)->init [1454812845319467008]

net/netfilter/nft_fib_inet.c (null)() -> (struct nft_expr_ops)->init [1201319503241781248]

net/netfilter/nft_masq.c (null)() -> (struct nft_expr_ops)->init [3854755541102362624]

net/netfilter/nft_range.c (null)() -> (struct nft_expr_ops)->init [8561874399804104704]

net/netfilter/nft_meta.c (null)() -> (struct nft_expr_ops)->init [500286990664192000,5215437076815810560,8454953187301060608]

net/netfilter/nft_tunnel.c (null)() -> (struct nft_expr_ops)->init [9218657504590012416]

net/netfilter/nft_reject_netdev.c (null)() -> (struct nft_expr_ops)->init [3518508559482707968]

net/netfilter/nft_limit.c (null)() -> (struct nft_expr_ops)->init [1350309971033890816,4612895445860839424]

net/netfilter/nft_inner.c (null)() -> (struct nft_expr_ops)->init [2364770872179408896]

net/netfilter/nft_bitwise.c (null)() -> (struct nft_expr_ops)->init [325440634944491520,8822845937653030912]

net/netfilter/nft_lookup.c (null)() -> (struct nft_expr_ops)->init [5341567775839780864]

net/bridge/netfilter/nft_meta_bridge.c (null)() -> (struct nft_expr_ops)->init [4916298191758618624,5682424510919544832]

net/netfilter/nft_queue.c (null)() -> (struct nft_expr_ops)->init [3107981703339057152,4724149987736567808]

net/netfilter/nft_connlimit.c (null)() -> (struct nft_expr_ops)->init [5291752297848688640]

net/netfilter/nf_tables_api.c __nft_set_elem_expr_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nf_tables_api.c nf_tables_expr_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nf_tables_api.c nf_tables_rule_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nf_tables_api.c nft_expr_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nf_tables_api.c nft_expr_init() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nf_tables_api.c nft_set_elem_expr_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_ct.c (null)() -> (struct nft_expr_ops)->init [0,3526362255319560192,3845828962318110720]

net/netfilter/nft_dup_netdev.c (null)() -> (struct nft_expr_ops)->init [1429011886991409152]

net/netfilter/nft_socket.c (null)() -> (struct nft_expr_ops)->init [8363485030758322176]

net/ipv4/netfilter/nft_fib_ipv4.c (null)() -> (struct nft_expr_ops)->init [1201319503241781248]

net/netfilter/nft_fib_netdev.c (null)() -> (struct nft_expr_ops)->init [1201319503241781248]

net/netfilter/nft_compat.c __nft_match_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_compat.c __nft_mt_tg_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_compat.c nft_match_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_compat.c nft_match_large_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_compat.c nft_match_release_ops() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_compat.c nft_match_select_ops() -> (struct nft_expr_ops)->init [0-u64max]

net/netfilter/nft_compat.c nft_target_destroy() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_compat.c nft_target_release_ops() -> (struct nft_expr_ops)->init [min-max]

net/netfilter/nft_compat.c nft_target_select_ops() -> (struct nft_expr_ops)->init [0-u64max]

net/netfilter/nft_rt.c (null)() -> (struct nft_expr_ops)->init [4240600812239187968]

net/netfilter/nft_hash.c (null)() -> (struct nft_expr_ops)->init [7618187779576762368,7737051210408185856]

net/ipv6/netfilter/nft_fib_ipv6.c (null)() -> (struct nft_expr_ops)->init [1201319503241781248]

net/netfilter/nft_reject_inet.c (null)() -> (struct nft_expr_ops)->init [3518508559482707968]

net/netfilter/nft_xfrm.c (null)() -> (struct nft_expr_ops)->init [4185377194055360512]

net/netfilter/nft_flow_offload.c (null)() -> (struct nft_expr_ops)->init [5353140024335269888]

net/netfilter/nft_fwd_netdev.c (null)() -> (struct nft_expr_ops)->init [2036669609378045952,9200444200863293440]

net/netfilter/nft_osf.c (null)() -> (struct nft_expr_ops)->init [2315456158466838528]