Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/stmicro/stmmac/stmmac_main.c __init_dma_tx_desc_rings() -> stmmac_set_tx_skb_dma_entry()

Type Parameter Key Value
PARAM_VALUE 0 tx_q 4096-ptr_max
PARAM_VALUE 1 entry 0-s32max
PARAM_VALUE 2 addr 0
PARAM_VALUE 3 len 0
PARAM_VALUE 4 map_as_page 0
CAPPED_DATA 1 entry 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 entry
UNITS 1 entry unit_array_size

drivers/net/ethernet/stmicro/stmmac/stmmac_main.c stmmac_tso_xmit() -> stmmac_set_tx_skb_dma_entry()

Type Parameter Key Value
PARAM_VALUE 0 tx_q 4096-ptr_max
PARAM_VALUE 2 addr 0-18446744073709551614
PARAM_VALUE 3 len 0-u32max
PARAM_VALUE 4 map_as_page 0
CAPPED_DATA 0 tx_q->mss 1
DATA_SOURCE 2 addr r dma_map_single_attrs
BIT_INFO 0 tx_q->tbs 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 addr unit_byte
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/stmicro/stmmac/stmmac_main.c stmmac_tso_xmit() -> stmmac_set_tx_skb_dma_entry()

Type Parameter Key Value
PARAM_VALUE 0 tx_q 4096-ptr_max
PARAM_VALUE 0 tx_q->tx_skbuff_dma 4096-ptr_max
PARAM_VALUE 2 addr 0-18446744073709551614
PARAM_VALUE 3 len 0-u32max
PARAM_VALUE 4 map_as_page 1
CAPPED_DATA 0 tx_q->mss 1
DATA_SOURCE 2 addr r __skb_frag_dma_map
BIT_INFO 0 tx_q->tbs 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 addr unit_byte
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/stmicro/stmmac/stmmac_main.c stmmac_xmit() -> stmmac_set_tx_skb_dma_entry()

Type Parameter Key Value
PARAM_VALUE 0 tx_q 4096-ptr_max
PARAM_VALUE 2 addr 0-18446744073709551614
PARAM_VALUE 4 map_as_page 0
DATA_SOURCE 2 addr r dma_map_single_attrs
DATA_SOURCE 3 len r skb_headlen
BIT_INFO 1 entry 0x0,0x7fffffff
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

drivers/net/ethernet/stmicro/stmmac/stmmac_main.c stmmac_xmit() -> stmmac_set_tx_skb_dma_entry()

Type Parameter Key Value
PARAM_VALUE 0 tx_q 4096-ptr_max
PARAM_VALUE 0 tx_q->tx_skbuff_dma 4096-ptr_max
PARAM_VALUE 2 addr 0-18446744073709551614
PARAM_VALUE 4 map_as_page 1
CAPPED_DATA 1 entry 1
DATA_SOURCE 2 addr r __skb_frag_dma_map
BIT_INFO 0 tx_q->tbs 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 len unit_byte
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read