Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/mt312.c mt312_set_frontend() -> mt312_initfe()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 fe->dtv_property_cache.fec_inner 0-3,5-7,9
PARAM_VALUE 0 fe->dtv_property_cache.frequency 0-4294967
PARAM_VALUE 0 fe->dtv_property_cache.inversion 0-1
PARAM_VALUE 0 fe->dtv_property_cache.symbol_rate 30000000-u32max
CAPPED_DATA 0 fe->ops.info.symbol_rate_min 1
DATA_SOURCE 0 fe $0
FUZZY_MAX 0 fe->dtv_property_cache.inversion 1
FUZZY_MAX 0 fe->dtv_property_cache.symbol_rate 30000000
PARAM_COMPARE 0 fe->ops.info.symbol_rate_max >= $0->ops.info.symbol_rate_min
HARD_MAX 0 fe->dtv_property_cache.fec_inner 9
HARD_MAX 0 fe->dtv_property_cache.inversion 1
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex

drivers/media/dvb-frontends/mt312.c mt312_set_frontend() -> mt312_initfe()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 fe->dtv_property_cache.fec_inner 0-3,5-7,9
PARAM_VALUE 0 fe->dtv_property_cache.frequency 0-4294967
PARAM_VALUE 0 fe->dtv_property_cache.inversion 0-1
PARAM_VALUE 0 fe->dtv_property_cache.symbol_rate 0-29999999
CAPPED_DATA 0 fe->ops.info.symbol_rate_min 1
DATA_SOURCE 0 fe $0
FUZZY_MAX 0 fe->dtv_property_cache.inversion 1
PARAM_COMPARE 0 fe->ops.info.symbol_rate_max >= $0->ops.info.symbol_rate_min
HARD_MAX 0 fe->dtv_property_cache.fec_inner 9
HARD_MAX 0 fe->dtv_property_cache.inversion 1
HARD_MAX 0 fe->dtv_property_cache.symbol_rate 29999999
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 fe 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 fe 4096-ptr_max
PARAM_VALUE 0 fe->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 fe 4096-ptr_max
PARAM_VALUE 0 fe->frontend_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.init 1-u64max
BUF_SIZE 0 fe 128
BUF_SIZE 0 fe 128
DATA_SOURCE 0 fe $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 fe 4096-ptr_max
PARAM_VALUE 0 fe->exit 3
PARAM_VALUE 0 fe->ops.init 1-u64max
PARAM_VALUE 0 fe->ops.resume 0
DATA_SOURCE 0 fe $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 fe 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &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 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
DATA_SOURCE 0 fe $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 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
DATA_SOURCE 0 fe $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 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
DATA_SOURCE 0 fe $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 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
DATA_SOURCE 0 fe $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 fe 4096-ptr_max
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &state->fe_mutex