Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/clk/bcm/clk-bcm2835.c bcm2835_clock_choose_div_and_prate() -> bcm2835_clock_rate_from_divisor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clock | 4096-ptr_max |
| PARAM_VALUE | 0 | clock->data | 4096-ptr_max |
| CAPPED_DATA | 2 | div | 1 |
| DATA_SOURCE | 0 | clock | r bcm2835_clock_from_hw |
| DATA_SOURCE | 1 | parent_rate | r clk_hw_get_rate |
| DATA_SOURCE | 2 | div | r bcm2835_clock_choose_div |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | div | 4097-s32max[c] |
| USER_DATA | 2 | div | 4097-s32max[c] |
drivers/clk/bcm/clk-bcm2835.c bcm2835_clock_choose_div_and_prate() -> bcm2835_clock_rate_from_divisor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clock | 4096-ptr_max |
| PARAM_VALUE | 0 | clock->data | 4096-ptr_max |
| PARAM_VALUE | 2 | div | 0,4096-4294963200 |
| CAPPED_DATA | 2 | div | 1 |
| DATA_SOURCE | 0 | clock | r bcm2835_clock_from_hw |
| DATA_SOURCE | 1 | parent_rate | r clk_hw_get_rate |
| BIT_INFO | 2 | div | 0x0,0xfffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | div | 0,4096-2147479552[c] |
| USER_DATA | 2 | div | 0,4096-2147479552[c] |
drivers/clk/bcm/clk-bcm2835.c bcm2835_clock_choose_div_and_prate() -> bcm2835_clock_rate_from_divisor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clock | 4096-ptr_max |
| PARAM_VALUE | 0 | clock->data | 4096-ptr_max |
| DATA_SOURCE | 0 | clock | r bcm2835_clock_from_hw |
| DATA_SOURCE | 1 | parent_rate | r clk_hw_get_rate |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | div | 4096,8192-2147483648[c] |
| USER_DATA | 2 | div | 4096,8192-2147483648[c] |
drivers/clk/bcm/clk-bcm2835.c bcm2835_clock_get_rate() -> bcm2835_clock_rate_from_divisor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | clock | 4096-ptr_max |
| PARAM_VALUE | 0 | clock->data | 4096-ptr_max |
| DATA_SOURCE | 0 | clock | r bcm2835_clock_from_hw |
| DATA_SOURCE | 1 | parent_rate | $1 |
| DATA_SOURCE | 2 | div | r cprman_read |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | div | 0-u32max |
| USER_DATA | 1 | parent_rate | 0-s32max[c] |
| HALF_LOCKED2 | clk |