Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/adc/ad4000.c ad4000_spi_offload_setup() -> ad4000_set_sampling_freq()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->cnv_gpio 0,4096-ptr_max
PARAM_VALUE 0 st->offload 4096-ptr_max
PARAM_VALUE 0 st->offload->priv 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->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
PARAM_VALUE 0 st->using_offload 1
PARAM_VALUE 0 st->vref_mv 0-2147483
BUF_SIZE 0 st->cnv_gpio s32min,(-1),1-s32max
CAPPED_DATA 0 st->cnv_gpio 1
CAPPED_DATA 0 st->offload_trigger->fwnode 1
DATA_SOURCE 0 st $1
RX_PATH
TASK_NOT_RUNNING

drivers/iio/adc/ad4000.c ad4000_write_raw() -> ad4000_set_sampling_freq()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->max_rate_hz 1-s32max
PARAM_VALUE 1 freq 1-s32max
CAPPED_DATA 1 freq 1
DATA_SOURCE 1 freq $2
FUZZY_MAX 1 freq 1
PARAM_COMPARE 0 st->max_rate_hz >= $1
PARAM_COMPARE 1 freq <= $0->max_rate_hz
NOSPEC 1 freq
NOSPEC 1 freq
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 freq 1-s32max[c]
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock