Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/m88rs2000.c m88rs2000_set_frontend() -> (struct dvb_tuner_ops)->get_frequency()

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.delivery_system 5
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 1 frequency 6015066949997715456
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex

drivers/media/dvb-frontends/m88ds3103.c m88ds3103_set_frontend() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 1 frequency 8765008753279889408
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex

drivers/media/pci/ttpci/budget-ci.c stb6100_get_frequency() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 1 frequency 4096-ptr_max
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1

drivers/media/dvb-frontends/dib8000.c dib8000_set_frequency_offset() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 1 frequency 2620590807003832320
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex

drivers/media/v4l2-core/tuner-core.c tuner_g_frequency() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 1 frequency 1460654033176125440
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/s5h1420.c s5h1420_set_frontend() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 1 frequency 4238957840100696064
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &state->fe_mutex

drivers/media/usb/dvb-usb-v2/mxl111sf-demod.c mxl111sf_demod_get_frontend() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
BUF_SIZE 0 fe (-1),64,128,280,472,1024,1296
BUF_SIZE 0 fe (-1),64,128,280,472,1024,1296
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/cx88/cx88-dvb.c stb6100_get_freq() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1

drivers/media/dvb-frontends/sp887x.c sp887x_setup_frontend_parameters() -> (struct dvb_tuner_ops)->get_frequency()

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.bandwidth_hz 6000000,7000000,8000000
PARAM_VALUE 0 fe->dtv_property_cache.code_rate_HP 1-3,5,7,9
PARAM_VALUE 0 fe->dtv_property_cache.hierarchy 0-4
PARAM_VALUE 0 fe->dtv_property_cache.modulation 0-1,3,6
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 1 frequency 8618085586647736320
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &state->fe_mutex

drivers/media/dvb-frontends/ds3000.c ds3000_set_frontend() -> (struct dvb_tuner_ops)->get_frequency()

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.symbol_rate 1000000-45000000
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 1 frequency 1874933259786395648
BUF_SIZE 0 fe (-1),128
BUF_SIZE 0 fe (-1),128
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fepriv->sem
HALF_LOCKED2 &state->fe_mutex

drivers/media/dvb-frontends/stv0900_sw.c stv0900_get_tuner_freq() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 1 frequency 7387615546485600256
PARAM_VALUE 1 *frequency 0
DATA_SOURCE 0 fe $0

drivers/media/dvb-frontends/tda10086.c tda10086_set_frontend() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 0 fe->ops.tuner_ops.set_params 1-u64max
PARAM_VALUE 1 frequency 6537899776427151360
PARAM_VALUE 1 *frequency 0
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &state->fe_mutex

drivers/media/pci/cx23885/cx23885-dvb.c stb6100_get_frequency() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1

drivers/media/pci/mantis/mantis_vp1041.c stb6100_get_frequency() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 1 frequency 4096-ptr_max
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1

drivers/media/dvb-frontends/stv0367.c stv0367_get_tuner_freq() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 1 frequency 8551811360639512576
PARAM_VALUE 1 *frequency 0
BUF_SIZE 0 fe (-1),64,128,280,472,1024,1296
BUF_SIZE 0 fe (-1),64,128,280,472,1024,1296
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/dvb-usb/pctv452e.c stb6100_get_frequency() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 1 frequency 4096-ptr_max
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1

drivers/media/usb/dvb-usb/dw2102.c stb6100_get_freq() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
BUF_SIZE 0 fe (-1),64,128,176,280,392-s32max
BUF_SIZE 0 fe (-1),64,128,176,280,392-s32max
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1
RX_PATH
TASK_NOT_RUNNING

drivers/media/pci/ttpci/budget-av.c tda8261_get_frequency() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 1 frequency 4096-ptr_max
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1

drivers/media/usb/dvb-usb/az6027.c stb6100_get_frequency() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 1 frequency 4096-ptr_max
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 frequency $1

drivers/media/dvb-frontends/dib7000p.c dib7000p_agc_startup() -> (struct dvb_tuner_ops)->get_frequency()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.get_frequency 1-u64max
PARAM_VALUE 1 frequency 6193418864298643456
DATA_SOURCE 0 fe $0
CONTAINER 0 -216-408-8+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL