Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/media/dvb-frontends/drxk_hard.c init_drxk() -> write_gpio()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->drxk_i2c_exclusive_lock 1
PARAM_VALUE 0 state->fw 0,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->i2c->lock_ops 4096-ptr_max
PARAM_VALUE 0 state->i2c->lock_ops->lock_bus 4096-ptr_max
PARAM_VALUE 0 state->m_current_power_mode 0-1
PARAM_VALUE 0 state->m_device_spin 0-2
PARAM_VALUE 0 state->m_drxk_a3_patch_code 1
PARAM_VALUE 0 state->m_drxk_state 0
PARAM_VALUE 0 state->m_has_dvbt 1
PARAM_VALUE 0 state->m_has_irqn 0
PARAM_VALUE 0 state->m_has_lna 0
PARAM_VALUE 0 state->m_has_oob 0
PARAM_VALUE 0 state->m_has_sawsw 1
PARAM_VALUE 0 state->m_hi_cfg_bridge_delay 903,905,1023,1159,1161,1279,16263,16265,16383
PARAM_VALUE 0 state->m_hi_cfg_timeout 38655
PARAM_VALUE 0 state->m_hi_cfg_wake_up_key 0,2-510
PARAM_VALUE 0 state->m_osc_clock_freq 20250,27000
BUF_SIZE 0 state 2816
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
DATA_SOURCE 0 state $0

drivers/media/dvb-frontends/drxk_hard.c switch_antenna_to_dvbt() -> write_gpio()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->antenna_gpio 1-u16max
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->bus_lock.rtmutex.waiters.rb_root.rb_node->rb_left 4096-ptr_max
PARAM_VALUE 0 state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.next 5159360019465732096
PARAM_VALUE 0 state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->magic 5159360019465732096
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_drxk_state 1-4,6-u32max
PARAM_VALUE 0 state->m_has_dvbt 1
PARAM_VALUE 0 state->m_operation_mode 4
BUF_SIZE 0 state 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 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
TASK_NOT_RUNNING

drivers/media/dvb-frontends/drxk_hard.c switch_antenna_to_qam() -> write_gpio()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->antenna_gpio 1-u16max
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.owner 0-1
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->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_drxk_state 1-4,6-u32max
PARAM_VALUE 0 state->m_has_dvbc 1
PARAM_VALUE 0 state->m_operation_mode 1,3
BUF_SIZE 0 state 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 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
TASK_NOT_RUNNING