Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/clk/clk.c clk_core_determine_rate_no_reparent() -> clk_core_forward_rate_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 4096-ptr_max |
| PARAM_VALUE | 0 | core->parent | 1-u64max |
| PARAM_VALUE | 1 | old_req | 4096-ptr_max |
| PARAM_VALUE | 2 | parent | 1-u64max |
| PARAM_VALUE | 3 | req | 8991049733258022912 |
| DATA_SOURCE | 1 | old_req | $1 |
| BIT_INFO | 0 | core->flags | 0x4,0xffffffffffffffff |
| NOSPEC | 1 | old_req->best_parent_rate | |
| NOSPEC | 1 | old_req->max_rate | |
| NOSPEC | 1 | old_req->min_rate | |
| NOSPEC | 1 | old_req->rate | |
| NOSPEC | 4 | parent_rate | |
| NOSPEC | 4 | parent_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | old_req->best_parent_rate | 0-u64max[c] |
| HOST_DATA | 1 | old_req->max_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->rate | 0-u64max[c] |
| HOST_DATA | 4 | parent_rate | 0-u64max[c] |
| USER_DATA | 1 | old_req->best_parent_rate | 0-u64max |
| USER_DATA | 1 | old_req->max_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | old_req->rate | 0-u64max |
| USER_DATA | 4 | parent_rate | 0-u64max |
| NO_OVERFLOW_SIMPLE | 1 | old_req->core->req_rate | |
| UNITS | 4 | parent_rate | unit_byte |
drivers/clk/clk.c clk_core_round_rate_nolock() -> clk_core_forward_rate_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 4096-ptr_max |
| PARAM_VALUE | 0 | core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | core->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | core->ops->determine_rate | 0 |
| PARAM_VALUE | 0 | core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | old_req | 4096-ptr_max |
| PARAM_VALUE | 2 | parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 3 | req | 7764333103511523328 |
| DATA_SOURCE | 0 | core | $0 |
| DATA_SOURCE | 1 | old_req | $1 |
| BIT_INFO | 0 | core->flags | 0x4,0xffffffffffffffff |
| NOSPEC | 1 | old_req->best_parent_rate | |
| NOSPEC | 1 | old_req->max_rate | |
| NOSPEC | 1 | old_req->min_rate | |
| NOSPEC | 1 | old_req->rate | |
| NOSPEC | 4 | parent_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | old_req->best_parent_rate | 0-u64max[c] |
| HOST_DATA | 1 | old_req->max_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->rate | 0-u64max[c] |
| HOST_DATA | 4 | parent_rate | 0-u64max[c] |
| USER_DATA | 1 | old_req->best_parent_rate | 0-u64max |
| USER_DATA | 1 | old_req->max_rate | 20000000-1200000000 |
| USER_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | old_req->rate | 0-u64max |
| USER_DATA | 4 | parent_rate | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | core->parent->req_rate | |
| NO_OVERFLOW_SIMPLE | 0 | core->req_rate | |
| NO_OVERFLOW_SIMPLE | 1 | old_req->core->req_rate | |
| NO_OVERFLOW_SIMPLE | 2 | parent->req_rate | |
| UNITS | 4 | parent_rate | unit_byte |
| HALF_LOCKED2 | clk |
drivers/clk/clk.c clk_hw_forward_rate_request() -> clk_core_forward_rate_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | old_req | 4096-ptr_max |
| PARAM_VALUE | 3 | req | 1-u64max |
| DATA_SOURCE | 1 | old_req | $1 |
| DATA_SOURCE | 3 | req | $3 |
| DATA_SOURCE | 4 | parent_rate | $4 |
| NOSPEC | 1 | old_req->best_parent_rate | |
| NOSPEC | 1 | old_req->max_rate | |
| NOSPEC | 1 | old_req->min_rate | |
| NOSPEC | 1 | old_req->rate | |
| NOSPEC | 4 | parent_rate | |
| NOSPEC | 4 | parent_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | old_req->best_parent_rate | 0-u64max[c] |
| HOST_DATA | 1 | old_req->max_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->rate | 0-u64max[c] |
| HOST_DATA | 4 | parent_rate | 0-u64max[c] |
| USER_DATA | 1 | old_req->best_parent_rate | 0-u64max |
| USER_DATA | 1 | old_req->max_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | old_req->rate | 0-u64max |
| USER_DATA | 4 | parent_rate | 0-u64max |
| NO_OVERFLOW_SIMPLE | 1 | old_req->core->req_rate | |
| UNITS | 4 | parent_rate | unit_byte |
drivers/clk/clk.c clk_mux_determine_rate_flags() -> clk_core_forward_rate_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 4096-ptr_max |
| PARAM_VALUE | 0 | core->num_parents | 1-255 |
| PARAM_VALUE | 0 | core->parents | 4096-ptr_max |
| PARAM_VALUE | 1 | old_req | 4096-ptr_max |
| PARAM_VALUE | 2 | parent | 1-u64max |
| PARAM_VALUE | 3 | req | 5269626644809957376 |
| DATA_SOURCE | 1 | old_req | $1 |
| DATA_SOURCE | 2 | parent | r clk_core_get_parent_by_index |
| BIT_INFO | 0 | core->flags | 0x4,0xffffffffffffffff |
| NOSPEC | 1 | old_req->best_parent_rate | |
| NOSPEC | 1 | old_req->max_rate | |
| NOSPEC | 1 | old_req->min_rate | |
| NOSPEC | 1 | old_req->rate | |
| NOSPEC | 4 | parent_rate | |
| NOSPEC | 4 | parent_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | old_req->best_parent_rate | 0-u64max[c] |
| HOST_DATA | 1 | old_req->max_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | old_req->rate | 0-u64max[c] |
| HOST_DATA | 4 | parent_rate | 0-u64max[c] |
| USER_DATA | 1 | old_req->best_parent_rate | 0-u64max |
| USER_DATA | 1 | old_req->max_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | old_req->min_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | old_req->rate | 0-u64max |
| USER_DATA | 4 | parent_rate | 0-u64max |
| NO_OVERFLOW_SIMPLE | 1 | old_req->core->req_rate | |
| UNITS | 4 | parent_rate | unit_byte |