Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/txrx.c wil_rx_refill() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
BUF_SIZE 0 ring 64
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wil->mutex

drivers/net/wireless/ath/wil6210/txrx.c wil_rx_refill() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
BUF_SIZE 0 ring 64
CAPPED_DATA 0 ring->swtail 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wil->mutex

drivers/net/wireless/ath/wil6210/txrx.c wil_tx_complete() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/wireless/ath/wil6210/txrx.c wil_vring_free() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
BUF_SIZE 0 ring (-1),64
BUF_SIZE 0 ring (-1),64
DATA_SOURCE 0 ring $1
PARAM_COMPARE 0 ring->swhead != $0->swtail
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ring->size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wil->mem_lock
HALF_LOCKED2 &wil->mutex
HALF_LOCKED2 &wil->mutex

drivers/net/wireless/ath/wil6210/txrx.c wil_vring_free() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
BUF_SIZE 0 ring (-1),64
BUF_SIZE 0 ring (-1),64
DATA_SOURCE 0 ring $1
PARAM_COMPARE 0 ring->swhead != $0->swtail
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ring->size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wil->mem_lock
HALF_LOCKED2 &wil->mutex
HALF_LOCKED2 &wil->mutex

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_ring_free_edma() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
BUF_SIZE 0 ring (-1),64
BUF_SIZE 0 ring (-1),64
DATA_SOURCE 0 ring $1
PARAM_COMPARE 0 ring->swhead != $0->swtail
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ring->size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wil->mem_lock
HALF_LOCKED2 &wil->mutex
HALF_LOCKED2 &wil->mutex

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_ring_free_edma() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
BUF_SIZE 0 ring (-1),64
BUF_SIZE 0 ring (-1),64
DATA_SOURCE 0 ring $1
PARAM_COMPARE 0 ring->swhead != $0->swtail
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ring->size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wil->mem_lock
HALF_LOCKED2 &wil->mutex
HALF_LOCKED2 &wil->mutex

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_tx_sring_handler() -> wil_ring_next_tail()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read