Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/media/dvb-frontends/drx39xyj/drxj.c, line 2268 (as a function)
- drivers/media/dvb-frontends/drxk_hard.c, line 966 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/media/dvb-frontends/drx39xyj/drxj.c ctrl_i2c_bridge() -> hi_command()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 2184573726630969344 |
| PARAM_VALUE | 1 | cmd->cmd | 7 |
| PARAM_VALUE | 1 | cmd->param1 | 14661 |
| PARAM_VALUE | 1 | cmd->param2 | 0,4 |
| PARAM_VALUE | 2 | p_result | 6709313734466666496 |
| PARAM_VALUE | 2 | *p_result | 0 |
drivers/media/dvb-frontends/drx39xyj/drxj.c drxj_dap_atomic_read_write_block() -> hi_command()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 4419395491383160832 |
| PARAM_VALUE | 1 | cmd->cmd | 8 |
| PARAM_VALUE | 1 | cmd->param1 | 66 |
| PARAM_VALUE | 1 | cmd->param2 | 64 |
| PARAM_VALUE | 1 | cmd->param3 | 1,9 |
| PARAM_VALUE | 1 | cmd->param4 | 386 |
| PARAM_VALUE | 1 | cmd->param5 | 16,18 |
| PARAM_VALUE | 2 | p_result | 9089260018572292096 |
| PARAM_VALUE | 2 | *p_result | 0 |
| DATA_SOURCE | 0 | state | $0 |
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &state->fe_mutex |
drivers/media/dvb-frontends/drx39xyj/drxj.c hi_cfg_command() -> hi_command()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 2772447026251677696 |
| PARAM_VALUE | 1 | cmd->cmd | 3 |
| PARAM_VALUE | 1 | cmd->param1 | 14661 |
| PARAM_VALUE | 2 | p_result | 4536430745547194368 |
| PARAM_VALUE | 2 | *p_result | 0 |
| BUF_SIZE | 0 | state | (-1),16 |
| BUF_SIZE | 0 | state | (-1),16 |
| BUF_SIZE | 0 | state->user_data | (-1),1328 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/dvb-frontends/drxk_hard.c ConfigureI2CBridge() -> hi_command()
| 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.dep_map->name | 0-255 |
| 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->i2c->dev.driver_data->adev->pm.mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->powerplay.pp_handle->msg_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->m_drxk_state | 1-3,6-u32max |
| PARAM_VALUE | 0 | state->no_i2c_bridge | 0 |
| PARAM_VALUE | 1 | cmd | 7 |
| PARAM_VALUE | 2 | p_result | 0 |
| 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 |
| DATA_SOURCE | 0 | state | $0 |
drivers/media/dvb-frontends/drxk_hard.c hi_cfg_command() -> hi_command()
| 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.dep_map->name | 0-255 |
| 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->i2c->dev.driver_data->adev->pm.mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->powerplay.pp_handle->msg_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | state->m_current_power_mode | 0-1 |
| PARAM_VALUE | 0 | state->m_drxk_state | 0-4,6-u32max |
| PARAM_VALUE | 0 | state->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | cmd | 3 |
| PARAM_VALUE | 2 | p_result | 0 |
| 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 |
| CAPPED_DATA | 0 | state->m_current_power_mode | 1 |
| CAPPED_DATA | 0 | &state->mutex | 1 |
| DATA_SOURCE | 0 | state | $0 |
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &state->mutex | |
| TYPE_LOCK | (struct drxk_state)->mutex |