Defined in 2 files as a member:

Defined in 1 files as a label:

Defined in 2 files as a function:

Referenced in 18 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/dma.c b43_dma_handle_txstatus() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->nr_slots 1-s32max
PARAM_VALUE 1 slot (-2147483647)-s32max
DATA_SOURCE 0 ring r parse_cookie
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/dma.c b43_dma_handle_txstatus() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->nr_slots 1-s32max
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 ring r parse_cookie
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/dma.c b43_dma_handle_txstatus() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->nr_slots 1-s32max
CAPPED_DATA 0 ring->nr_slots 1
DATA_SOURCE 0 ring r parse_cookie
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/dma.c b43_dma_rx() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
DATA_SOURCE 0 ring $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/dma.c dma_rx() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->rx_buffersize 1
DATA_SOURCE 0 ring $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/dma.c dma_tx_fragment() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->txhdr_cache 1
DATA_SOURCE 0 ring $0
DATA_SOURCE 1 slot r request_slot
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/dma.c request_slot() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
DATA_SOURCE 0 ring $0
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/dma.c b43legacy_dma_handle_txstatus() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 1 slot 0-4096
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 ring r parse_cookie
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 slot unit_array_size
LOCK2 flags
HALF_LOCKED2 &dev->wl->irq_lock
HALF_LOCKED2 &dev->wl->irq_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct b43legacy_wl)->irq_lock

drivers/net/wireless/broadcom/b43legacy/dma.c b43legacy_dma_rx() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->dev->dev 1
DATA_SOURCE 0 ring $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 slot unit_array_size
LOCK2 &dev->wl->irq_lock
LOCK2 flags
HALF_LOCKED2 bh
TYPE_LOCK (struct b43legacy_wl)->irq_lock

drivers/net/wireless/broadcom/b43legacy/dma.c dma_rx() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->dev->dev 1
CAPPED_DATA 0 ring->rx_buffersize 1
DATA_SOURCE 0 ring $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->wl->irq_lock
LOCK2 flags
HALF_LOCKED2 bh
TYPE_LOCK (struct b43legacy_wl)->irq_lock

drivers/net/wireless/broadcom/b43legacy/dma.c dma_tx_fragment() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
CAPPED_DATA 0 ring->txhdr_cache 1
DATA_SOURCE 0 ring $0
DATA_SOURCE 1 slot r request_slot
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43legacy_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/dma.c request_slot() -> next_slot()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
DATA_SOURCE 0 ring $0
UNITS 1 slot unit_array_size
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43legacy_wl)->mutex