Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/clk/sunxi-ng/ccu_common.c, line 62
- drivers/clk/sunxi-ng/ccu_mux.c, line 151
- drivers/clk/sunxi-ng/ccu_nkm.c
- drivers/clk/sunxi-ng/ccu_nm.c, line 42
Smatch caller information:
drivers/clk/sunxi-ng/ccu_nm.c ccu_nm_find_best() -> ccu_is_better_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| CAPPED_DATA | 3 | best_rate | 1 |
| CAPPED_DATA | 3 | best_rate | 1 |
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 1 | target_rate | $2 |
| DATA_SOURCE | 2 | current_rate | r ccu_nm_calc_rate |
| NOSPEC | 1 | target_rate | |
| NOSPEC | 1 | target_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | target_rate | 0-u64max[c] |
| USER_DATA | 1 | target_rate | 0-u64max |
| UNITS | 1 | target_rate | unit_byte |
drivers/clk/sunxi-ng/ccu_mux.c ccu_mux_helper_determine_rate() -> ccu_is_better_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 0 | common->hw.core | 4096-ptr_max |
| PARAM_VALUE | 0 | common->hw.core->num_parents | 1-255 |
| CAPPED_DATA | 3 | best_rate | 1 |
| CAPPED_DATA | 3 | best_rate | 1 |
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 2 | current_rate | r ccu_mux_helper_apply_prediv |
| PARAM_COMPARE | 1 | target_rate | > $2 |
| PARAM_COMPARE | 1 | target_rate | >= $3 |
| PARAM_COMPARE | 2 | current_rate | < $1 |
| PARAM_COMPARE | 2 | current_rate | < $1 |
| PARAM_COMPARE | 3 | best_rate | <= $1 |
| PARAM_COMPARE | 3 | best_rate | <= $1 |
| NOSPEC | 1 | target_rate | |
| NOSPEC | 1 | target_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | target_rate | 0-u64max[c] |
| USER_DATA | 1 | target_rate | 0-u64max |
| UNITS | 1 | target_rate | unit_byte |
| UNITS | 2 | current_rate | unit_byte |
| UNITS | 3 | best_rate | unit_byte |
drivers/clk/sunxi-ng/ccu_nkm.c ccu_nkm_find_best() -> ccu_is_better_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| CAPPED_DATA | 3 | best_rate | 1 |
| CAPPED_DATA | 3 | best_rate | 1 |
| DATA_SOURCE | 0 | common | $3 |
| DATA_SOURCE | 1 | target_rate | $1 |
| NOSPEC | 1 | target_rate | |
| NOSPEC | 1 | target_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | target_rate | 0-u64max[c] |
| USER_DATA | 1 | target_rate | 0-u64max |
| UNITS | 1 | target_rate | unit_byte |
drivers/clk/sunxi-ng/ccu_nkm.c ccu_nkm_find_best_with_parent_adj() -> ccu_is_better_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 0 | common->hw.core | 4096-ptr_max |
| CAPPED_DATA | 3 | best_rate | 1 |
| CAPPED_DATA | 3 | best_rate | 1 |
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 1 | target_rate | $3 |
| PARAM_COMPARE | 3 | best_rate | <= $2 |
| PARAM_COMPARE | 3 | best_rate | <= $2 |
| NOSPEC | 1 | target_rate | |
| NOSPEC | 1 | target_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | target_rate | 0-u64max[c] |
| USER_DATA | 1 | target_rate | 0-u64max |
| UNITS | 1 | target_rate | unit_byte |