Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/clk/clk.c __clk_determine_rate() -> clk_core_round_rate_nolock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | req | $1 |
| NOSPEC | 1 | req->best_parent_rate | |
| NOSPEC | 1 | req->max_rate | |
| NOSPEC | 1 | req->min_rate | |
| NOSPEC | 1 | req->rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | req->best_parent_rate | 0-u64max[c] |
| HOST_DATA | 1 | req->max_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | req->rate | 20000000-1200000000[c] |
| USER_DATA | 1 | req->best_parent_rate | 0-u64max |
| USER_DATA | 1 | req->max_rate | 20000000-1200000000 |
| USER_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | req->rate | 20000000-1200000000 |
| NO_OVERFLOW_SIMPLE | 1 | req->core->req_rate |
drivers/clk/clk.c clk_core_determine_rate_no_reparent() -> clk_core_round_rate_nolock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 4096-ptr_max |
| PARAM_VALUE | 0 | core->parent | 0,4096-ptr_max |
| PARAM_VALUE | 1 | req | 8991049733258022912 |
| PARAM_VALUE | 1 | req->core | 4096-ptr_max |
| PARAM_VALUE | 1 | req->min_rate | 1-u64max |
| CAPPED_DATA | 0 | core | 1 |
| NOSPEC | 1 | req->min_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | req->rate | 0-u64max[c] |
| USER_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
drivers/clk/clk.c clk_core_req_round_rate_nolock() -> clk_core_round_rate_nolock()
| 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->parent | 0,4096-ptr_max |
| PARAM_VALUE | 0 | core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | req | 8114891370746499072 |
| PARAM_VALUE | 1 | req->core | 4096-ptr_max |
| DATA_SOURCE | 0 | core | $0 |
| MEM_ZERO | 1 | req | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | req->rate | 0[c] |
| NO_OVERFLOW_SIMPLE | 0 | core->parent->req_rate | |
| LOCK2 | clk |
drivers/clk/clk.c clk_core_round_rate_nolock() -> clk_core_round_rate_nolock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 0,4096-ptr_max |
| PARAM_VALUE | 0 | core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | core->parent | 0,4096-ptr_max |
| PARAM_VALUE | 1 | req | 7764333103511523328 |
| PARAM_VALUE | 1 | req->best_parent_rate | 0 |
| PARAM_VALUE | 1 | req->rate | 0 |
| CAPPED_DATA | 0 | core | 1 |
| NOSPEC | 1 | req->max_rate | |
| NOSPEC | 1 | req->min_rate | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | req->max_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | req->rate | 0[c] |
| USER_DATA | 1 | req->max_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
| USER_DATA | 1 | req->rate | 0 |
| NO_OVERFLOW_SIMPLE | 0 | core->req_rate | |
| HALF_LOCKED2 | clk |
drivers/clk/clk.c clk_hw_round_rate() -> clk_core_round_rate_nolock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 0,4096-ptr_max |
| PARAM_VALUE | 0 | core->parent | 0,4096-ptr_max |
| PARAM_VALUE | 1 | req | 7484222686914506752 |
| PARAM_VALUE | 1 | req->core | 0,4096-ptr_max |
| MEM_ZERO | 1 | req | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | req->rate | 0-u64max[c] |
| USER_DATA | 1 | req->rate | 0-u64max |
drivers/clk/clk.c clk_mux_determine_rate_flags() -> clk_core_round_rate_nolock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 1-u64max |
| PARAM_VALUE | 1 | req | 5269626644809957376 |
| CAPPED_DATA | 0 | core | 1 |
| DATA_SOURCE | 0 | core | r clk_core_get_parent_by_index |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
| HOST_DATA | 1 | req->rate | 0-u64max[c] |
| USER_DATA | 1 | req->min_rate | 20000000-1200000000[c] |
drivers/clk/clk.c clk_round_rate() -> clk_core_round_rate_nolock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core | 0,4096-ptr_max |
| PARAM_VALUE | 0 | core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | req | 2768410125095845888 |
| PARAM_VALUE | 1 | req->core | 0,4096-ptr_max |
| MEM_ZERO | 1 | req | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | req->rate | 0-u64max[c] |
| USER_DATA | 1 | req->rate | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | core->parent->req_rate | |
| LOCK2 | clk | ||
| HALF_LOCKED2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &devfreq->lock | ||
| HALF_LOCKED2 | &encoder->bridge_chain_mutex | ||
| HALF_LOCKED2 | &first_bridge->encoder->bridge_chain_mutex | ||
| HALF_LOCKED2 | &pl->phydev_mutex | ||
| HALF_LOCKED2 | &pl->state_mutex | ||
| HALF_LOCKED2 | &policy->rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &st->lock | ||
| HALF_LOCKED2 | &vfe->power_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |