Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2.c bnx2_rx_int() -> bnx2_reuse_rx_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 1 | rxr | 4096-ptr_max |
| PARAM_VALUE | 1 | rxr->rx_buf_ring | 4096-ptr_max |
| BUF_SIZE | 1 | rxr | 680 |
| BUF_SIZE | 2 | data | 1-s32max |
| BUF_SIZE | 2 | data | 1-s32max |
| CAPPED_DATA | 3 | cons | 1 |
| CAPPED_DATA | 4 | prod | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/net/ethernet/broadcom/bnx2.c bnx2_rx_int() -> bnx2_reuse_rx_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 1 | rxr | 4096-ptr_max |
| PARAM_VALUE | 1 | rxr->rx_buf_ring | 4096-ptr_max |
| BUF_SIZE | 1 | rxr | 680 |
| BUF_SIZE | 2 | data | 1-s32max |
| BUF_SIZE | 2 | data | 1-s32max |
| CAPPED_DATA | 3 | cons | 1 |
| CAPPED_DATA | 4 | prod | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/net/ethernet/broadcom/bnx2.c bnx2_rx_int() -> bnx2_reuse_rx_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 1 | rxr | 4096-ptr_max |
| PARAM_VALUE | 1 | rxr->rx_buf_ring | 4096-ptr_max |
| BUF_SIZE | 1 | rxr | 680 |
| BUF_SIZE | 2 | data | 1-s32max |
| BUF_SIZE | 2 | data | 1-s32max |
| CAPPED_DATA | 3 | cons | 1 |
| CAPPED_DATA | 4 | prod | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| RX_PATH | |||
| NOCHECK_CALL |
drivers/net/ethernet/broadcom/bnx2.c bnx2_rx_skb() -> bnx2_reuse_rx_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->rx_copy_thresh | 0-4294967294 |
| PARAM_VALUE | 1 | rxr | 4096-ptr_max |
| PARAM_VALUE | 1 | rxr->rx_buf_ring | 4096-ptr_max |
| BUF_SIZE | 1 | rxr | 680 |
| BUF_SIZE | 2 | data | 1-s32max |
| BUF_SIZE | 2 | data | 1-s32max |
| CAPPED_DATA | 0 | bp->rx_copy_thresh | 1 |
| CAPPED_DATA | 4 | prod | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| DATA_SOURCE | 1 | rxr | $1 |
| DATA_SOURCE | 2 | data | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |