Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/dib7000m.c dib7000m_attach() -> dib7000m_demod_reset()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->demod.demodulator_priv 4096-ptr_max
PARAM_VALUE 0 state->i2c_adap->bus_lock.dep_map->name 0-255
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 state->i2c_buffer_lock.dep_map->name 0-255
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 state->i2c_buffer_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 state->msg->addr 0
PARAM_VALUE 0 state->msg->buf 0
PARAM_VALUE 0 state->msg->flags 0
PARAM_VALUE 0 state->msg->len 0
PARAM_VALUE 0 state->reg_offs 1
PARAM_VALUE 0 state->revision 16384-16387
PARAM_VALUE 0 state->timf_default 0,18179755,20199727,20199729,20452225
BUF_SIZE 0 state 11696
DATA_SOURCE 0 state r _kzalloc_noprof
FUZZY_MAX 0 state->revision 16384
MEM_ZERO 0 state->msg
NOCHECK_CALL