Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/tx_common.c efx_siena_xmit_done() -> efx_dequeue_buffers()

Type Parameter Key Value
PARAM_VALUE 0 tx_queue 4096-ptr_max
PARAM_VALUE 1 index 0-4095
PARAM_VALUE 2 pkts_compl 6078768421205053440
PARAM_VALUE 2 *pkts_compl 0
PARAM_VALUE 3 bytes_compl 6834891280291848192
PARAM_VALUE 3 *bytes_compl 0
DATA_SOURCE 0 tx_queue $0
DATA_SOURCE 1 index $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/tx_common.c efx_xmit_done() -> efx_dequeue_buffers()

Type Parameter Key Value
PARAM_VALUE 0 tx_queue 4096-ptr_max
PARAM_VALUE 2 pkts_compl 7720228781853634560
PARAM_VALUE 2 *pkts_compl 0
PARAM_VALUE 3 bytes_compl 7035180595388350464
PARAM_VALUE 3 *bytes_compl 0
PARAM_VALUE 4 efv_pkts_compl 5290734707463004160
PARAM_VALUE 4 *efv_pkts_compl 0
PARAM_VALUE 5 xdp_pkts 2420777274790244352
PARAM_VALUE 5 *xdp_pkts 0
PARAM_VALUE 6 xdp_bytes 3608123428100542464
PARAM_VALUE 6 *xdp_bytes 0
CAPPED_DATA 1 index 1
DATA_SOURCE 0 tx_queue $0
DATA_SOURCE 1 index $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read