Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clk/clk.c clk_core_set_rate_nolock() -> clk_propagate_rate_change()

Type Parameter Key Value
PARAM_VALUE 0 core 1-u64max
PARAM_VALUE 1 event 1
DATA_SOURCE 0 core r clk_calc_new_rates
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 core->req_rate
LOCK2 clk

drivers/clk/clk.c clk_core_set_rate_nolock() -> clk_propagate_rate_change()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->new_child 0,4096-ptr_max
PARAM_VALUE 1 event 4
DATA_SOURCE 0 core r clk_calc_new_rates
PARAM_COMPARE 0 core->new_rate != $0->rate
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 core->req_rate
LOCK2 clk

drivers/clk/clk.c clk_propagate_rate_change() -> clk_propagate_rate_change()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->new_parent 0,4096-ptr_max
DATA_SOURCE 1 event $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 clk

drivers/clk/clk.c clk_propagate_rate_change() -> clk_propagate_rate_change()

Type Parameter Key Value
PARAM_VALUE 0 core 1-u64max
DATA_SOURCE 1 event $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 clk