Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/adc/ad7380.c ad7380_probe() -> ad7380_init()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->chip_info 4096-ptr_max
PARAM_VALUE 0 st->chip_info->num_simult_channels 1-u32max
PARAM_VALUE 0 st->chip_info->num_vcm_supplies 0-8
PARAM_VALUE 0 st->chip_info->timing_specs 4096-ptr_max
PARAM_VALUE 0 st->gain_milli 4096-ptr_max
PARAM_VALUE 0 st->normal_msg.actual_length 0
PARAM_VALUE 0 st->normal_msg.complete 0
PARAM_VALUE 0 st->normal_msg.context 0
PARAM_VALUE 0 st->normal_msg.frame_length 0
PARAM_VALUE 0 st->normal_msg.offload 0
PARAM_VALUE 0 st->normal_msg.opt_state 0
PARAM_VALUE 0 st->normal_msg.optimized 0
PARAM_VALUE 0 st->normal_msg.pre_optimized 0
PARAM_VALUE 0 st->normal_msg.prepared 0
PARAM_VALUE 0 st->normal_msg.queue.next 0
PARAM_VALUE 0 st->normal_msg.queue.prev 0
PARAM_VALUE 0 st->normal_msg.spi 0
PARAM_VALUE 0 st->normal_msg.state 0
PARAM_VALUE 0 st->normal_msg.status 0
PARAM_VALUE 0 st->normal_msg.transfers.prev 4096-ptr_max
PARAM_VALUE 0 st->normal_msg.transfers.prev->next 4096-ptr_max
PARAM_VALUE 0 st->normal_msg.transfers.prev->next->next 4096-ptr_max
PARAM_VALUE 0 st->normal_xfer 4096-ptr_max
PARAM_VALUE 0 st->num_sdo_lines 1-255
PARAM_VALUE 0 st->offload 4096-ptr_max,(-22),(-19),(-16),(-12)
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->regmap 0-ptr_max
PARAM_VALUE 0 st->seq_msg.actual_length 0
PARAM_VALUE 0 st->seq_msg.complete 0
PARAM_VALUE 0 st->seq_msg.context 0
PARAM_VALUE 0 st->seq_msg.frame_length 0
PARAM_VALUE 0 st->seq_msg.offload 0
PARAM_VALUE 0 st->seq_msg.opt_state 0
PARAM_VALUE 0 st->seq_msg.optimized 0
PARAM_VALUE 0 st->seq_msg.pre_optimized 0
PARAM_VALUE 0 st->seq_msg.prepared 0
PARAM_VALUE 0 st->seq_msg.queue.next 0
PARAM_VALUE 0 st->seq_msg.queue.prev 0
PARAM_VALUE 0 st->seq_msg.spi 0
PARAM_VALUE 0 st->seq_msg.state 0
PARAM_VALUE 0 st->seq_msg.status 0
PARAM_VALUE 0 st->seq_msg.transfers.prev 4096-ptr_max
PARAM_VALUE 0 st->seq_msg.transfers.prev->next 4096-ptr_max
PARAM_VALUE 0 st->seq_msg.transfers.prev->next->next 4096-ptr_max
PARAM_VALUE 0 st->seq_xfer 4096-ptr_max
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->irq 0-s32max
CAPPED_DATA 0 st->chip_info->num_supplies 1
CAPPED_DATA 0 st->chip_info->num_vcm_supplies 1
CAPPED_DATA 0 st->num_sdo_lines 1
FUZZY_MAX 0 st->chip_info->num_vcm_supplies 8
FUZZY_MAX 0 st->num_sdo_lines 2
PARAM_COMPARE 0 st->chip_info->num_simult_channels >= $0->num_sdo_lines
HARD_MAX 0 st->chip_info->num_vcm_supplies 8
MEM_ZERO 0 &st->normal_msg
MEM_ZERO 0 &st->seq_msg
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 st->chip_info->num_supplies