Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/cxd2880/cxd2880_top.c cxd2880_get_frontend() -> cxd2880_get_frontend_t()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dtv_property_cache.delivery_system 3
PARAM_VALUE 1 c 1-u64max
BUF_SIZE 0 fe (-1),64,128,280,472,1024,1296
BUF_SIZE 0 fe (-1),64,128,280,472,1024,1296
BUF_SIZE 1 c (-1),456
BUF_SIZE 1 c (-1),456
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 c $1
RX_PATH
TASK_NOT_RUNNING