Open Menu /

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_send_pending()

Type Parameter Key Value
PARAM_VALUE 0 channel 0,4096-ptr_max
PARAM_VALUE 0 channel->tx_queue 4096-u64max
PARAM_VALUE 0 channel->tx_queue->empty_read_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->notify_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->packet_write_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->pushes 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.entries 0-4294967295
PARAM_VALUE 0 channel->tx_queue->write_count 0-4294967295
CAPPED_DATA 0 channel->efx->tx_channel_offset 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &efx->net_dev->tx_global_lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 channel->tx_queue->empty_read_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->notify_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->packet_write_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->pushes 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.entries 0-4294967295
PARAM_VALUE 0 channel->tx_queue->write_count 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &efx->net_dev->tx_global_lock
HALF_LOCKED2 bh

drivers/net/ethernet/sfc/siena/tx.c efx_siena_hard_start_xmit() -> efx_tx_send_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net_dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/siena/tx.c efx_siena_hard_start_xmit() -> efx_tx_send_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net_dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 channel 0,4096-ptr_max
PARAM_VALUE 0 channel->tx_queue 4096-u64max
PARAM_VALUE 0 channel->tx_queue->empty_read_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->notify_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->packet_write_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->pushes 0-4294967295
PARAM_VALUE 0 channel->tx_queue->write_count 0-4294967295
CAPPED_DATA 0 channel->efx->tx_channel_offset 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &efx->net_dev->tx_global_lock
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 channel->tx_queue->empty_read_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->notify_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->packet_write_count 0-4294967295
PARAM_VALUE 0 channel->tx_queue->pushes 0-4294967295
PARAM_VALUE 0 channel->tx_queue->write_count 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &efx->net_dev->tx_global_lock
HALF_LOCKED2 bh

drivers/net/ethernet/sfc/tx.c efx_hard_start_xmit() -> efx_tx_send_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net_dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/tx.c efx_hard_start_xmit() -> efx_tx_send_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net_dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read