Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/tx.c __efx_siena_enqueue_skb() -> efx_tx_maybe_stop_queue()

Type Parameter Key Value
PARAM_VALUE 0 txq1 4096-ptr_max
BUF_SIZE 0 txq1 (-1),1280,1536
BUF_SIZE 0 txq1 (-1),1280,1536
CAPPED_DATA 0 txq1 1
DATA_SOURCE 0 txq1 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 txq1->core_txq->dql.last_obj_cnt 1-268435455[c]
NO_OVERFLOW_SIMPLE 0 txq1->completed_timestamp_major
NO_OVERFLOW_SIMPLE 0 txq1->core_txq->dql.last_obj_cnt
NO_OVERFLOW_SIMPLE 0 txq1->core_txq->dql.num_queued
NO_OVERFLOW_SIMPLE 0 txq1->efx->pci_dev->dev.cma_area->available_count
HALF_LOCKED2 &efx->net_dev->tx_global_lock
HALF_LOCKED2 bh

drivers/net/ethernet/sfc/siena/tx.c efx_siena_xdp_tx_buffers() -> efx_tx_maybe_stop_queue()

Type Parameter Key Value
PARAM_VALUE 0 txq1 4096-ptr_max
PARAM_VALUE 0 txq1->core_txq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &txq1->core_txq->_xmit_lock

drivers/net/ethernet/sfc/tx.c __efx_enqueue_skb() -> efx_tx_maybe_stop_queue()

Type Parameter Key Value
PARAM_VALUE 0 txq1 4096-ptr_max
BUF_SIZE 0 txq1 (-1),1280,1536
BUF_SIZE 0 txq1 (-1),1280,1536
CAPPED_DATA 0 txq1 1
DATA_SOURCE 0 txq1 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 txq1->core_txq->dql.last_obj_cnt 1-268435455[c]
NO_OVERFLOW_SIMPLE 0 txq1->completed_timestamp_major
NO_OVERFLOW_SIMPLE 0 txq1->core_txq->dql.last_obj_cnt
NO_OVERFLOW_SIMPLE 0 txq1->core_txq->dql.num_queued
NO_OVERFLOW_SIMPLE 0 txq1->efx->pci_dev->dev.cma_area->available_count
HALF_LOCKED2 &efx->net_dev->tx_global_lock
HALF_LOCKED2 bh

drivers/net/ethernet/sfc/tx.c efx_xdp_tx_buffers() -> efx_tx_maybe_stop_queue()

Type Parameter Key Value
PARAM_VALUE 0 txq1 4096-ptr_max
PARAM_VALUE 0 txq1->core_txq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &txq1->core_txq->_xmit_lock