Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/clk/samsung/clk-exynos4.c, line 1063
- drivers/clk/samsung/clk-exynos5250.c, line 823
- drivers/clk/samsung/clk-exynos5420.c, line 1613
- drivers/clk/samsung/clk-s3c64xx.c
- drivers/clk/samsung/clk-s5pv210.c
- drivers/clk/samsung/clk.c
Smatch caller information:
drivers/clk/samsung/clk.c samsung_clk_of_register_fixed_ext() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 462,800,1031 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 1 | list | 2041804326735925248,2594656601887617024,8842204849857060864 |
| PARAM_VALUE | 2 | nr_clk | 1-2 |
| BUF_SIZE | 1 | list | (-1),80 |
| BUF_SIZE | 1 | list | (-1),80 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | list | $1 |
| DATA_SOURCE | 2 | nr_clk | $2 |
| HARD_MAX | 0 | ctx->clk_data.num | 1031 |
| HARD_MAX | 2 | nr_clk | 2 |
| NOCHECK_CALL | |||
| UNITS | 2 | nr_clk | unit_array_size |
drivers/clk/samsung/clk.c samsung_cmu_register_clocks() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 0-s32max |
| PARAM_VALUE | 0 | ctx->dev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | list | 1-u64max |
| BUF_SIZE | 0 | ctx->dev | (-1),1616 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/clk/samsung/clk-s3c64xx.c s3c64xx_clk_init() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 179 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 0 | ctx->reg_base | 0 |
| PARAM_VALUE | 1 | list | 7978034838973259776 |
| PARAM_VALUE | 2 | nr_clk | 2 |
| BUF_SIZE | 0 | ctx | s32min-s32max |
| BUF_SIZE | 1 | list | 80 |
| DATA_SOURCE | 0 | ctx | r samsung_clk_init |
| NOCHECK_CALL | |||
| UNITS | 2 | nr_clk | unit_array_size |
drivers/clk/samsung/clk-s3c64xx.c s3c64xx_clk_register_fixed_ext() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 179 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 0 | ctx->reg_base | 0 |
| PARAM_VALUE | 1 | list | 4096-ptr_max |
| PARAM_VALUE | 2 | nr_clk | 2 |
| BUF_SIZE | 1 | list | 80 |
| DATA_SOURCE | 0 | ctx | $0 |
| NOCHECK_CALL | |||
| UNITS | 2 | nr_clk | unit_array_size |
drivers/clk/samsung/clk-s5pv210.c __s5pv210_clk_init() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 206 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 0 | ctx->reg_base | 0 |
| PARAM_VALUE | 1 | list | 2374990794825785344 |
| PARAM_VALUE | 2 | nr_clk | 1 |
| BUF_SIZE | 0 | ctx | s32min-s32max |
| DATA_SOURCE | 0 | ctx | r samsung_clk_init |
| NOCHECK_CALL | |||
| UNITS | 2 | nr_clk | unit_array_size |
drivers/clk/samsung/clk-s5pv210.c __s5pv210_clk_init() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 206 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 0 | ctx->reg_base | 0 |
| PARAM_VALUE | 1 | list | 3325320352699244544 |
| PARAM_VALUE | 2 | nr_clk | 4 |
| BUF_SIZE | 0 | ctx | s32min-s32max |
| BUF_SIZE | 1 | list | 160 |
| DATA_SOURCE | 0 | ctx | r samsung_clk_init |
| NOCHECK_CALL | |||
| UNITS | 2 | nr_clk | unit_array_size |
drivers/clk/samsung/clk-exynos4.c exynos4_clk_register_finpll() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.hws | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 462 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 0 | ctx->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | list | 771107375503863808 |
| PARAM_VALUE | 1 | list->fixed_rate | 1-u64max |
| PARAM_VALUE | 1 | list->flags | 0 |
| PARAM_VALUE | 1 | list->id | 3 |
| PARAM_VALUE | 1 | list->name | 1563627231395360768 |
| PARAM_VALUE | 1 | list->parent_name | 0 |
| PARAM_VALUE | 2 | nr_clk | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| TERMINATED | 1 | list->name | 1 |
| NOCHECK_CALL |
drivers/clk/samsung/clk-exynos5250.c exynos5250_clk_init() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.hws | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 1031 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 1 | list | 1605287221658124288 |
| PARAM_VALUE | 2 | nr_clk | 4 |
| BUF_SIZE | 0 | ctx | s32min-s32max |
| BUF_SIZE | 1 | list | 160 |
| DATA_SOURCE | 0 | ctx | r samsung_clk_init |
| NOCHECK_CALL | |||
| UNITS | 2 | nr_clk | unit_array_size |
drivers/clk/samsung/clk-exynos5420.c exynos5x_clk_init() -> samsung_clk_register_fixed_rate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.hws | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->clk_data.num | 800 |
| PARAM_VALUE | 0 | ctx->dev | 0 |
| PARAM_VALUE | 1 | list | 577798396801060864 |
| PARAM_VALUE | 2 | nr_clk | 5 |
| BUF_SIZE | 0 | ctx | s32min-s32max |
| BUF_SIZE | 1 | list | 200 |
| DATA_SOURCE | 0 | ctx | r samsung_clk_init |
| NOCHECK_CALL | |||
| UNITS | 2 | nr_clk | unit_array_size |