Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_tx_stop_ring_dqo() -> gve_tx_clean_pending_packets()

Type Parameter Key Value
PARAM_VALUE 0 tx 4096-ptr_max
PARAM_VALUE 0 tx->dqo_compl.free_pending_packets.counter 0-s32max
PARAM_VALUE 0 tx->dqo_compl.hw_tx_head.counter 0
PARAM_VALUE 0 tx->netdev_txq 0,4096-ptr_max
PARAM_VALUE 0 tx->netdev_txq->dql.last_obj_cnt 0
PARAM_VALUE 0 tx->netdev_txq->dql.lowest_slack u32max
PARAM_VALUE 0 tx->netdev_txq->dql.num_completed 0
PARAM_VALUE 0 tx->netdev_txq->dql.num_queued 0
PARAM_VALUE 0 tx->netdev_txq->dql.prev_last_obj_cnt 0
PARAM_VALUE 0 tx->netdev_txq->dql.prev_num_queued 0
PARAM_VALUE 0 tx->netdev_txq->dql.prev_ovlimit 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL