Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_rx_pkt() -> bnxt_tpa_start()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 rxr 4096-ptr_max
PARAM_VALUE 2 cmp_type 19,25
PARAM_VALUE 3 tpa_start 4096-ptr_max
PARAM_VALUE 4 tpa_start1 4096-ptr_max
DATA_SOURCE 0 bp $0
FUZZY_MAX 2 cmp_type 25
BIT_INFO 2 cmp_type 0x11,0x1b
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bp->ptp_cfg->current_time 0-u64max
HOST_DATA 0 bp->ptp_cfg->old_time 0-u32max
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read