Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clk/clk-k230.c k230_clk_determine_rate_div() -> k230_clk_find_approximate_div()

Type Parameter Key Value
PARAM_VALUE 6 div 1267329784688693248
PARAM_VALUE 7 mul 3475955939291836416
NOSPEC 4 rate
NOSPEC 4 rate
NOSPEC 5 parent_rate
NOSPEC 5 parent_rate
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 4 rate 0-u64max[c]
HOST_DATA 5 parent_rate 0-u64max[c]
USER_DATA 4 rate 0-u64max
USER_DATA 5 parent_rate 0-u64max
UNITS 4 rate unit_byte
UNITS 5 parent_rate unit_byte

drivers/clk/clk-k230.c k230_clk_set_rate_div() -> k230_clk_find_approximate_div()

Type Parameter Key Value
PARAM_VALUE 6 div 4443011103020085248
PARAM_VALUE 7 mul 9103511113663987712
CAPPED_DATA 4 rate 1
CAPPED_DATA 4 rate 1
DATA_SOURCE 4 rate $1
DATA_SOURCE 5 parent_rate $2
PARAM_COMPARE 4 rate <= $5
PARAM_COMPARE 5 parent_rate >= $4
PARAM_COMPARE 5 parent_rate >= $4
RX_PATH
TASK_NOT_RUNNING