Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/dvb-frontends/drxk_hard.c i2c_read() -> drxk_i2c_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->m_drxk_state | 0-4,6-u32max |
| PARAM_VALUE | 1 | msgs | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 0 | state | s32min,(-1),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 | state | s32min,(-1),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 | state->frontend.demodulator_priv | (-1),2816 |
| BUF_SIZE | 0 | state->microcode_name | (-1),11 |
| BUF_SIZE | 1 | msgs | 32 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &state->mutex |
drivers/media/dvb-frontends/drxk_hard.c i2c_read1() -> drxk_i2c_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c->bus_lock.rtmutex.waiters.rb_leftmost->rb_right | 0 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | state->m_drxk_state | 0-4,6-u32max |
| PARAM_VALUE | 1 | msgs | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | state | (-1),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 | state | (-1),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 | state->frontend.demodulator_priv | (-1),2816 |
| BUF_SIZE | 0 | state->microcode_name | (-1),11 |
| DATA_SOURCE | 0 | state | $0 |
| TASK_NOT_RUNNING |
drivers/media/dvb-frontends/drxk_hard.c i2c_write() -> drxk_i2c_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | msgs | 5130817034829455360 |
| PARAM_VALUE | 1 | msgs->addr | 0-255 |
| PARAM_VALUE | 1 | msgs->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | msgs->flags | 0 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | state | s32min,(-1),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 | state | s32min,(-1),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 | state->frontend.demodulator_priv | (-1),2816 |
| BUF_SIZE | 0 | state->microcode_name | (-1),11 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &state->mutex |