Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/dib8000.c dib8000_get_frontend() -> (struct dvb_frontend_ops)->get_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 p->bandwidth_hz 6000000
BUF_SIZE 1 p (-1),456
BUF_SIZE 1 p (-1),456
DATA_SOURCE 1 p $1
RX_PATH
TASK_NOT_RUNNING

drivers/media/dvb-frontends/dib9000.c dib9000_get_frontend() -> (struct dvb_frontend_ops)->get_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
BUF_SIZE 1 p (-1),456
BUF_SIZE 1 p (-1),456
DATA_SOURCE 1 p $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &state->demod_lock
HALF_LOCKED2 &state->demod_lock

drivers/media/dvb-frontends/stb6100.c stb6100_set_frequency() -> (struct dvb_frontend_ops)->get_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dtv_property_cache.frequency 1-u32max
PARAM_VALUE 0 fe->ops.get_frontend 1-u64max
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 p->frequency 1-u32max
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 1 p 456
DATA_SOURCE 0 fe $0
CONTAINER 0 -264-8+0 $(-1)
CONTAINER 1 -264-8+824 $(-1)
PARAM_COMPARE 0 &fe->dtv_property_cache == $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dvb_frontend.c dtv_get_frontend() -> (struct dvb_frontend_ops)->get_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.get_frontend 1-u64max
PARAM_VALUE 1 p 4096-ptr_max
BUF_SIZE 0 fe (-1),128,472,1296
BUF_SIZE 0 fe (-1),128,472,1296
BUF_SIZE 1 p (-1),456
BUF_SIZE 1 p (-1),456
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 p $1
CONTAINER 0 -264-8+0 $(-1)
TASK_NOT_RUNNING
HALF_LOCKED2 &fepriv->sem