Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/nfdk/dp.c nfp_nfdk_rx() -> nfp_nfdk_xdp_complete()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 0 tx_ring->wr_ptr_add 0
PARAM_COMPARE 0 tx_ring->rd_p != $0->wr_p
NO_OVERFLOW_SIMPLE 0 tx_ring->wr_p
NO_OVERFLOW_SIMPLE 0 tx_ring->wr_ptr_add

drivers/net/ethernet/netronome/nfp/nfdk/dp.c nfp_nfdk_tx_xdp_buf() -> nfp_nfdk_xdp_complete()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
DATA_SOURCE 0 tx_ring $2
NOCHECK_CALL