Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2.c bnx2_change_ring_size() -> bnx2_init_napi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev->name | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev->real_num_tx_queues | 0-255 |
| PARAM_VALUE | 0 | bp->dev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max |
| PARAM_VALUE | 0 | bp->flags | 0,4-u32max |
| PARAM_VALUE | 0 | bp->irq_nvecs | 0-s32max |
| PARAM_VALUE | 0 | bp->num_req_rx_rings | 0 |
| PARAM_VALUE | 0 | bp->num_req_tx_rings | 0 |
| PARAM_VALUE | 0 | bp->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | bp->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | bp->pdev->link_bwctrl->cdev | (-22),(-19),(-12),0,4096-s64max |
| PARAM_VALUE | 0 | bp->pdev->msi_enabled | 1 |
| PARAM_VALUE | 0 | bp->rx_copy_thresh | 128 |
| PARAM_VALUE | 0 | bp->rx_max_pg_ring | 0 |
| PARAM_VALUE | 0 | bp->rx_max_pg_ring_idx | 0 |
| PARAM_VALUE | 0 | bp->rx_max_ring | 4,8,16 |
| PARAM_VALUE | 0 | bp->rx_max_ring_idx | 1023,2047,4095 |
| PARAM_VALUE | 0 | bp->rx_pg_ring_size | 0 |
| PARAM_VALUE | 0 | *bp->dev->name | 0-255 |
| PARAM_VALUE | 0 | *bp->dev->prio_tc_map | 0-255 |
| DATA_SOURCE | 0 | bp | $0 |
| NOSPEC | 0 | bp->irq_nvecs | |
| NOSPEC | 0 | bp->num_req_tx_rings | |
| NOSPEC | 0 | bp->num_tx_rings | |
| NOSPEC | 0 | bp->rx_ring_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | bp->irq_nvecs | 1-s32max[c] |
| USER_DATA | 0 | bp->num_req_tx_rings | 0 |
| USER_DATA | 0 | bp->num_rx_rings | 0-255[c] |
| USER_DATA | 0 | bp->num_tx_rings | 0-255[c] |
| USER_DATA | 0 | bp->rx_ring_size | 0 |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/broadcom/bnx2.c bnx2_open() -> bnx2_init_napi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev->name | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev->num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | bp->dev->real_num_rx_queues | 1-255 |
| PARAM_VALUE | 0 | bp->dev->real_num_tx_queues | 0-255 |
| PARAM_VALUE | 0 | bp->flags | 0,32-u32max |
| PARAM_VALUE | 0 | bp->irq_nvecs | 0-s32max |
| PARAM_VALUE | 0 | bp->mips_firmware | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bp->mips_firmware->priv->fwc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->mips_firmware->priv->ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | bp->num_rx_rings | 1-255 |
| PARAM_VALUE | 0 | bp->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | bp->pdev->msi_enabled | 1 |
| PARAM_VALUE | 0 | bp->rv2p_firmware->priv->fwc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bp->rv2p_firmware->priv->ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | *bp->dev->name | 0-255 |
| PARAM_VALUE | 0 | *bp->dev->prio_tc_map | 0-255 |
| CONSTRAINT | 0 | bp->num_rx_rings | <=3120 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |