Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/cxd2841er.c cxd2841er_tune_tc() -> cxd2841er_get_carrier_offset_c()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->system 1
PARAM_VALUE 1 offset 195300233318588416
BUF_SIZE 0 priv 1264,1296,1304,1312,1320,1328,1336,1344,1352,1360,1368,1376,1408,1416,1424,1432,1464,1480,1512,1552,1608,1736,1888,1896,2000,2112,2816,3040,3648,3672,3688,3928,11416,11696,12920,14072,16824
BUF_SIZE 0 priv 1264,1296,1304,1312,1320,1328,1336,1344,1352,1360,1368,1376,1408,1416,1424,1432,1464,1480,1512,1552,1608,1736,1888,1896,2000,2112,2816,3040,3648,3672,3688,3928,11416,11696,12920,14072,16824
TASK_NOT_RUNNING
LOCK2 &fepriv->sem
TYPE_LOCK (struct dvb_frontend_private)->sem