Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/pci/ngene/ngene-dvb.c tsin_exchange() -> swap_buffer()

Type Parameter Key Value
BUF_SIZE 0 p 8192,98304,417792,2080768
DATA_SOURCE 0 p $1
DATA_SOURCE 1 len $2
NOCHECK_CALL
HALF_LOCKED2 &chan->state_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq

drivers/media/pci/ngene/ngene-dvb.c tsout_exchange() -> swap_buffer()

Type Parameter Key Value
PARAM_VALUE 0 *p 0-255
BUF_SIZE 0 p 8192,98304,417792,2080768
BUF_SIZE 0 p 8192,98304,417792,2080768
CAPPED_DATA 1 len 1
DATA_SOURCE 0 p $1
NOCHECK_CALL
HALF_LOCKED2 &chan->state_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq

drivers/net/ethernet/freescale/fec_main.c fec_enet_rx_queue() -> swap_buffer()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
RX_PATH
NOCHECK_CALL
UNITS 1 len unit_byte

drivers/net/ethernet/freescale/fec_main.c fec_enet_txq_put_data_tso() -> swap_buffer()

Type Parameter Key Value
PARAM_VALUE 1 len s32min-u16max
BUF_SIZE 0 p 2048
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len $6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
UNITS 1 len unit_byte
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/freescale/fec_main.c fec_enet_txq_put_hdr_tso() -> swap_buffer()

Type Parameter Key Value
PARAM_VALUE 0 *p 0-255
BUF_SIZE 0 p 2048
BUF_SIZE 0 p 2048
DATA_SOURCE 1 len r skb_tcp_all_headers
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/freescale/fec_main.c fec_enet_txq_submit_frag_skb() -> swap_buffer()

Type Parameter Key Value
PARAM_VALUE 0 *p 0-255
BUF_SIZE 0 p 2048
BUF_SIZE 0 p 2048
DATA_SOURCE 1 len r skb_frag_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/freescale/fec_main.c fec_enet_txq_submit_skb() -> swap_buffer()

Type Parameter Key Value
PARAM_VALUE 0 *p 0-255
BUF_SIZE 0 p 2048
BUF_SIZE 0 p 2048
DATA_SOURCE 1 len r skb_headlen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
HALF_LOCKED2 &ndev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read