Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/broadcom/bnxt/bnxt.c bnxt_start_xmit() -> bnxt_init_ext_bd()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 txr 4096-ptr_max
PARAM_VALUE 1 txr->tx_desc_ring 4096-ptr_max
PARAM_VALUE 2 prod 1-u16max
PARAM_VALUE 3 lflags 0,4,8,12
PARAM_VALUE 4 vlan_tag_flags 0,268435456-268566527
PARAM_VALUE 5 cfa_action 0-u16max
DATA_SOURCE 5 cfa_action r bnxt_xmit_get_cfa_action
FUZZY_MAX 3 lflags 0
FUZZY_MAX 4 vlan_tag_flags 0
PARAM_COMPARE 2 prod > $2
BIT_INFO 3 lflags 0x0,0xc
BIT_INFO 4 vlan_tag_flags 0x0,0x1001ffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/broadcom/bnxt/bnxt_gso.c bnxt_sw_udp_gso_xmit() -> bnxt_init_ext_bd()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 txr 4096-ptr_max
PARAM_VALUE 1 txr->tx_desc_ring 4096-ptr_max
PARAM_VALUE 2 prod 1-u16max
PARAM_VALUE 3 lflags 1,3
PARAM_VALUE 4 vlan_tag_flags 0,268435456-268566527
DATA_SOURCE 0 bp $0
DATA_SOURCE 1 txr $1
DATA_SOURCE 5 cfa_action r bnxt_xmit_get_cfa_action
FUZZY_MAX 3 lflags 1
FUZZY_MAX 4 vlan_tag_flags 0
PARAM_COMPARE 2 prod > $2
BIT_INFO 0 bp->flags 0x0,0xff7fffff
BIT_INFO 3 lflags 0x1,0x3
BIT_INFO 4 vlan_tag_flags 0x0,0x1001ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read