Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clk/clk-si570.c si570_determine_rate() -> si570_calc_divs()

Type Parameter Key Value
PARAM_VALUE 0 frequency 1-u64max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 out_rfreq 3216387757785817088
PARAM_VALUE 3 out_n1 3133184233157423104
PARAM_VALUE 4 out_hs_div 1806374757500198912
NOSPEC 0 frequency
NOSPEC 0 frequency
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 frequency 1-u64max[c]
USER_DATA 0 frequency 1-u64max
UNITS 0 frequency unit_byte

drivers/clk/clk-si570.c si570_set_frequency() -> si570_calc_divs()

Type Parameter Key Value
PARAM_VALUE 0 frequency 10000000-u64max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 out_rfreq 4096-ptr_max
PARAM_VALUE 3 out_n1 4096-ptr_max
PARAM_VALUE 4 out_hs_div 4096-ptr_max
CAPPED_DATA 0 frequency 1
CAPPED_DATA 0 frequency 1
DATA_SOURCE 0 frequency $1
DATA_SOURCE 1 data $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 frequency unit_byte