Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/frequency/adf41513.c adf41513_set_frequency() -> adf41513_set_phase_resync()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->chip_info 4096-ptr_max
PARAM_VALUE 0 st->regs 4096-ptr_max
PARAM_VALUE 0 st->settings.int_val 20-1023
PARAM_VALUE 0 st->settings.mod2 0,2-16777215
PARAM_VALUE 0 st->settings.mode 1-3
PARAM_VALUE 0 st->settings.pfd_frequency_uhz 0-250000000000000
PARAM_VALUE 0 st->settings.prescaler 0-1
PARAM_VALUE 0 st->settings.r_counter 0-32
PARAM_VALUE 0 st->settings.ref_div2 0-1
PARAM_VALUE 0 st->settings.ref_doubler 0-1
PARAM_VALUE 0 st->settings.target_frequency_uhz 1000000000000000-u64max
BUF_SIZE 0 st->lock_detect s32min,(-1),1-s32max
BUF_SIZE 0 st->ref_clk (-1),1-s32max
CAPPED_DATA 0 st->settings.mode 1
CAPPED_DATA 0 st->settings.pfd_frequency_uhz 1
DATA_SOURCE 0 st $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock