Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/adc/stm32-dfsdm-adc.c stm32_dfsdm_predisable() -> stm32_dfsdm_stop_conv()

Type Parameter Key Value
PARAM_VALUE 0 indio_dev 4096-ptr_max
PARAM_VALUE 0 indio_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 indio_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 indio_dev->setup_ops->postdisable 0,4096-ptr_max
PARAM_VALUE 0 indio_dev->setup_ops->postenable 0,4096-ptr_max
PARAM_VALUE 0 indio_dev->setup_ops->predisable 0,4096-ptr_max
PARAM_VALUE 0 indio_dev->setup_ops->preenable 0,4096-ptr_max
PARAM_VALUE 0 indio_dev->setup_ops->validate_scan_mask 0,612156762414178304,1723505689039380480,1804277016954449920,1880900960529330176,5322840054560604160,6258182237637267456
BUF_SIZE 0 indio_dev s32min-(-1),1-s32max
BUF_SIZE 0 indio_dev s32min-(-1),1-s32max
BUF_SIZE 0 indio_dev->available_scan_masks (-1),16
BUF_SIZE 0 indio_dev->channels (-1),160,480,1600
BUF_SIZE 0 indio_dev->info (-1),160
BUF_SIZE 0 indio_dev->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 indio_dev $0
STR_LEN 0 indio_dev->name (-1),5,10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 indio_dev->num_channels
UNITS 0 indio_dev unit_byte
HALF_LOCKED2 _T->lock

drivers/iio/adc/stm32-dfsdm-adc.c stm32_dfsdm_single_conv() -> stm32_dfsdm_stop_conv()

Type Parameter Key Value
PARAM_VALUE 0 indio_dev 4096-ptr_max
PARAM_VALUE 0 indio_dev->info 1-u64max
PARAM_VALUE 0 indio_dev->info->read_raw 1-u64max
PARAM_VALUE 0 indio_dev->info->read_raw_multi 0
PARAM_VALUE 0 indio_dev->priv 4096-ptr_max
PARAM_VALUE 0 indio_dev->priv->dfsdm 4096-ptr_max
PARAM_VALUE 0 indio_dev->priv->dfsdm->regmap->async 0
PARAM_VALUE 0 indio_dev->priv->dfsdm->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 indio_dev->priv->dfsdm->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 indio_dev->priv->dfsdm->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 indio_dev->priv->dfsdm->regmap->cache_dirty 0-1
CAPPED_DATA 0 indio_dev->priv->dfsdm->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 indio_dev->priv->dfsdm->regmap->volatile_table->n_yes_ranges 1
DATA_SOURCE 0 indio_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock