Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/broadcom/bnx2x/bnx2x_cmn.c bnx2x_alloc_rx_bds() -> bnx2x_alloc_rx_data()

Type Parameter Key Value
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->rx_comp_cons 0
PARAM_VALUE 2 index 0-1
PARAM_VALUE 3 gfp_mask 3264
DATA_SOURCE 1 fp $0
FUZZY_MAX 2 index 1
PARAM_COMPARE 2 index == $2
HARD_MAX 2 index 1
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/broadcom/bnx2x/bnx2x_cmn.c bnx2x_rx_int() -> bnx2x_alloc_rx_data()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->dev 4096-ptr_max
PARAM_VALUE 0 bp->dev->dev_addr 4096-ptr_max
PARAM_VALUE 0 bp->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->bp 4096-ptr_max
PARAM_VALUE 1 fp->bp->dev 4096-ptr_max
PARAM_VALUE 1 fp->bp->dev->dev_addr 4096-ptr_max
PARAM_VALUE 1 fp->bp->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 1 fp->rx_buf_ring 4096-ptr_max
PARAM_VALUE 1 fp->rx_comp_ring 4096-ptr_max
PARAM_VALUE 2 index 0-2
PARAM_VALUE 3 gfp_mask 2080
CAPPED_DATA 1 fp->max_cos 1
DATA_SOURCE 1 fp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read