Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2.c bnx2_alloc_mem() -> bnx2_alloc_tx_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->bnx2_napi | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | bp->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | bp->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | bp->pdev->subordinate->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | *bp->dev->name | 0-255 |
| PARAM_VALUE | 0 | *bp->dev->prio_tc_map | 0-255 |
| CAPPED_DATA | 0 | bp->num_rx_rings | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| NOSPEC | 0 | bp->irq_nvecs | |
| NOSPEC | 0 | bp->num_req_tx_rings | |
| NOSPEC | 0 | bp->num_tx_rings | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | bp->irq_nvecs | 1-s32max[c] |
| USER_DATA | 0 | bp->num_req_tx_rings | 0 |
| USER_DATA | 0 | bp->num_tx_rings | 0-255[c] |
| USER_DATA | 0 | bp->rx_ring_size | 0 |
| NO_OVERFLOW_SIMPLE | 0 | bp->rx_max_pg_ring | |
| NO_OVERFLOW_SIMPLE | 0 | bp->rx_max_ring |