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