Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/freescale/dpaa2/dpaa2-eth.c dpaa2_eth_xdp_tx_flush() -> dpaa2_eth_xdp_flush()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->fq 4096-ptr_max
PARAM_VALUE 1 fq 4096-ptr_max
PARAM_VALUE 2 xdp_fds 4096-ptr_max
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 fq $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/freescale/dpaa2/dpaa2-eth.c dpaa2_eth_xdp_xmit() -> dpaa2_eth_xdp_flush()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->fq 4096-ptr_max
PARAM_VALUE 1 fq 4096-ptr_max
PARAM_VALUE 1 fq->xdp_redirect_fds.num 0-s32max
PARAM_VALUE 2 xdp_fds 4096-ptr_max
PARAM_VALUE 2 xdp_fds->num 0-s32max
BUF_SIZE 1 fq 163560
BUF_SIZE 1 fq 163560
BUF_SIZE 2 xdp_fds 520
PARAM_COMPARE 1 &fq->xdp_redirect_fds == $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read