Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/adc/ad4030.c ad4030_probe() -> ad4030_update_conversion_rate()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->chip 4096-ptr_max
PARAM_VALUE 0 st->cnv_gpio 4096-ptr_max
PARAM_VALUE 0 st->cnv_trigger 0,4096-ptr_max
PARAM_VALUE 0 st->cnv_trigger->chip->atomic_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 st->cnv_trigger->chip->nonatomic_lock.dep_map->name 0-255
PARAM_VALUE 0 st->cnv_trigger->chip->nonatomic_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 st->cnv_trigger->chip->nonatomic_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 st->cnv_trigger->chip->nonatomic_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 st->cnv_trigger->chip->nonatomic_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 st->cnv_trigger->chip->nonatomic_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 st->cnv_trigger->chip->nonatomic_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 st->cnv_trigger->chip->ops->sizeof_wfhw 0-2,5,12,16
PARAM_VALUE 0 st->cnv_trigger->state.enabled 1
PARAM_VALUE 0 st->offload 4096-ptr_max
PARAM_VALUE 0 st->offload->ops 4096-ptr_max
PARAM_VALUE 0 st->offload->priv 4096-ptr_max
PARAM_VALUE 0 st->offload->provider_dev 4096-ptr_max
PARAM_VALUE 0 st->offload_trigger 4096-ptr_max
PARAM_VALUE 0 st->offload_trigger->ops->request 0,2556986205439930368,6645923266280194048,8535314858242654208,9169974591295524864
PARAM_VALUE 0 st->offload_trigger_config.type 1
PARAM_VALUE 0 st->regmap 4096-ptr_max
PARAM_VALUE 0 st->regmap->cache->cached_rbnode->blklen 1-4294967295
PARAM_VALUE 0 st->regmap->cache_dirty 0-1
PARAM_VALUE 0 st->spi 4096-ptr_max
PARAM_VALUE 0 st->spi->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 st->spi->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 st->spi->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 st->spi->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 st->spi->irq 0-s32max
PARAM_VALUE 0 st->vio_uv 0-s32max
PARAM_VALUE 0 st->vref_uv 0-s32max
PARAM_VALUE 0 *st->regmap->cache->data 0-4294967295
PARAM_VALUE 1 freq_hz 0-268435455
BUF_SIZE 0 st->cnv_gpio s32min-(-1),1-s32max
CAPPED_DATA 0 st->cnv_gpio 1
CAPPED_DATA 0 st->regmap->wr_table->n_no_ranges 1
CAPPED_DATA 0 st->regmap->wr_table->n_yes_ranges 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 st->pga_gpios->info->size
NO_OVERFLOW_SIMPLE 0 st->pga_gpios->ndescs

drivers/iio/adc/ad4030.c ad4030_set_avg_frame_len() -> ad4030_update_conversion_rate()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->offload_trigger 1-u64max
PARAM_VALUE 2 avg_log2 0-31,u32max
DATA_SOURCE 2 avg_log2 r __ilog2_u32
BIT_INFO 2 avg_log2 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 avg_log2 0-31
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/iio/adc/ad4030.c ad4030_set_sampling_freq() -> ad4030_update_conversion_rate()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->chip 4096-ptr_max
PARAM_VALUE 0 st->chip->max_sample_rate_hz 2-u32max
PARAM_VALUE 1 freq_hz 1-u32max
CAPPED_DATA 0 st->chip->max_sample_rate_hz 1
DATA_SOURCE 1 freq_hz $1
PARAM_COMPARE 1 freq_hz < $0->chip->max_sample_rate_hz
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 freq_hz 1-u32max
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock