Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/marvell/mvneta.c mvneta_bm_port_init() -> mvneta_bm_pool_bufsize_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pp | 4096-ptr_max |
| PARAM_VALUE | 0 | pp->clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus | 0,4096-u64max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pp->dram_target_info | 0,4096-ptr_max |
| BUF_SIZE | 0 | pp->clk | (-1),1-s32max |
| BUF_SIZE | 0 | pp->clk_bus | (-1),1-s32max |
| BUF_SIZE | 0 | pp->phylink | (-1),816 |
| BUF_SIZE | 0 | pp->phylink_config.dev | (-1),1616 |
| BUF_SIZE | 0 | pp->phylink_pcs.ops | (-1),104 |
| BUF_SIZE | 0 | pp->ports | (-1),576 |
| BUF_SIZE | 0 | pp->stats | (-1),120 |
| DATA_SOURCE | 0 | pp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/marvell/mvneta.c mvneta_bm_port_init() -> mvneta_bm_pool_bufsize_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pp | 4096-ptr_max |
| PARAM_VALUE | 0 | pp->clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus | 0,4096-u64max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->clk_bus->core->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | pp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pp->dram_target_info | 0,4096-ptr_max |
| BUF_SIZE | 0 | pp->clk | (-1),1-s32max |
| BUF_SIZE | 0 | pp->clk_bus | (-1),1-s32max |
| BUF_SIZE | 0 | pp->phylink | (-1),816 |
| BUF_SIZE | 0 | pp->phylink_config.dev | (-1),1616 |
| BUF_SIZE | 0 | pp->phylink_pcs.ops | (-1),104 |
| BUF_SIZE | 0 | pp->ports | (-1),576 |
| BUF_SIZE | 0 | pp->stats | (-1),120 |
| DATA_SOURCE | 0 | pp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/marvell/mvneta.c mvneta_bm_update_mtu() -> mvneta_bm_pool_bufsize_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pp | 4096-ptr_max |
| PARAM_VALUE | 0 | pp->bm_priv | 1-u64max |
| PARAM_VALUE | 0 | pp->comphy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pp->dev->dev.parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | pp->pool_long | 4096-ptr_max |
| PARAM_VALUE | 0 | pp->pool_long->pkt_size | 0-s32max |
| PARAM_VALUE | 0 | pp->xdp_prog | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pp->xdp_prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | *pp->dev->name | 0-255 |
| CAPPED_DATA | 1 | buf_size | 1 |
| DATA_SOURCE | 0 | pp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |