Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iio/frequency/adf41513.c adf41513_calc_pll_settings() -> adf41513_calc_variable_mod()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 0 st->chip_info 4096-ptr_max
PARAM_VALUE 1 result 5984264491447037952
PARAM_VALUE 1 result->pfd_frequency_uhz 0-250000000000000
PARAM_VALUE 1 result->r_counter 0-32
PARAM_VALUE 1 result->ref_div2 0-1
PARAM_VALUE 1 result->ref_doubler 0-1
PARAM_VALUE 1 result->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 1 result->target_frequency_uhz 1
DATA_SOURCE 0 st $0
DATA_SOURCE 1 result $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock