Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/wangxun/libwx/wx_lib.c wx_clean_tx_irq() -> wx_handle_tx_hang()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 0 tx_ring->desc 4096-ptr_max
PARAM_VALUE 0 tx_ring->netdev 4096-ptr_max
PARAM_VALUE 0 tx_ring->state 4096-ptr_max
PARAM_VALUE 0 tx_ring->tx_buffer_info 4096-ptr_max
PARAM_VALUE 1 next 0-131070
CAPPED_DATA 0 tx_ring->netdev->num_tx_queues 1
CAPPED_DATA 0 tx_ring->next_to_clean 1
CAPPED_DATA 0 tx_ring->next_to_use 1
CAPPED_DATA 0 tx_ring->stats.packets 1
CAPPED_DATA 0 tx_ring->tx_stats.tx_done_old 1
DATA_SOURCE 0 tx_ring $1
PARAM_COMPARE 0 tx_ring->stats.packets == $0->tx_stats.tx_done_old
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 next unit_array_size
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read