Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2.c bnx2_rx_int() -> bnx2_rx_skb()
| 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 |
| PARAM_VALUE | 3 | len | 1-65531,4294967292-u32max |
| PARAM_VALUE | 4 | hdr_len | 0-u16max |
| 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 | hdr_len | 1 |
| CAPPED_DATA | 6 | ring_idx | 1 |
| DATA_SOURCE | 0 | bp | $0 |
| FUZZY_MAX | 4 | hdr_len | 0 |
| PARAM_COMPARE | 0 | bp->rx_copy_thresh | < $3 |
| PARAM_COMPARE | 3 | len | > $0->rx_copy_thresh |
| BIT_INFO | 6 | ring_idx | 0x0,0xffff |
| RX_PATH | |||
| UNITS | 3 | len | unit_byte |
| UNITS | 4 | hdr_len | unit_byte |