Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/net/ethernet/hisilicon/hns3/hns3_enet.c hns3_clean_tx_ring() -> ring_space()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->tqp->tqp_index 1
DATA_SOURCE 0 ring $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/hisilicon/hns3/hns3_enet.c hns3_nic_maybe_stop_tx() -> ring_space()

Type Parameter Key Value
DATA_SOURCE 0 ring $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &netdev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/hisilicon/hns3/hns3_enet.c hns3_nic_maybe_stop_tx() -> ring_space()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->next_to_clean (-2147483647)-s32max
CAPPED_DATA 0 ring->next_to_clean 1
DATA_SOURCE 0 ring $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &netdev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/hisilicon/hns/hns_enet.c hns_nic_maybe_stop_tso() -> ring_space()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->max_desc_num_per_pkt 1
DATA_SOURCE 0 ring $2
TASK_NOT_RUNNING

drivers/net/ethernet/hisilicon/hns/hns_enet.c hns_nic_maybe_stop_tso() -> ring_space()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
DATA_SOURCE 0 ring $2
TASK_NOT_RUNNING

drivers/net/ethernet/hisilicon/hns/hns_enet.c hns_nic_maybe_stop_tx() -> ring_space()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->max_desc_num_per_pkt 1
DATA_SOURCE 0 ring $2
TASK_NOT_RUNNING

drivers/net/ethernet/hisilicon/hns/hns_enet.c hns_nic_maybe_stop_tx() -> ring_space()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
DATA_SOURCE 0 ring $2
TASK_NOT_RUNNING

drivers/net/ethernet/hisilicon/hns/hns_enet.c hns_nic_tx_poll_one() -> ring_space()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->next_to_clean s32min-1024
PARAM_VALUE 0 ring->next_to_use 0-1023
CAPPED_DATA 0 ring->next_to_clean 1
CAPPED_DATA 0 ring->next_to_use 1
PARAM_COMPARE 0 ring->desc_num >= $0->next_to_clean
RX_PATH
TASK_NOT_RUNNING