Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/dma.c free_all_descbuffers() -> free_descriptor_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->dev 4096-ptr_max
PARAM_VALUE 0 ring->dev->dev 4096-ptr_max
PARAM_VALUE 0 ring->nr_slots 1-s32max
PARAM_VALUE 0 ring->ops 4096-ptr_max
PARAM_VALUE 0 ring->used_slots s32min-(-1),1-s32max
PARAM_VALUE 1 meta 4096-ptr_max
PARAM_VALUE 1 meta->skb 1-18446744073709551603,(-11)-(-1)
BUF_SIZE 0 ring (-1),6264
BUF_SIZE 0 ring (-1),6264
DATA_SOURCE 0 ring $0
STR_LEN 0 ring 7,13
STR_LEN 0 ring 7,13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ring->dev->fw.patch 0-u16max
HOST_DATA 0 ring->dev->phy.analog 0-15[c]
HOST_DATA 0 ring->dev->phy.gmode 0-1
HOST_DATA 0 ring->dev->phy.radio_rev 0-255
HOST_DATA 0 ring->dev->phy.radio_ver 0-u16max
HOST_DATA 0 ring->dev->phy.supports_2ghz 0-1
HOST_DATA 0 ring->dev->phy.supports_5ghz 0-1
HOST_DATA 0 ring->dev->phy.type 2,4-5,7[c]
NO_OVERFLOW_SIMPLE 0 ring->rx_buffersize
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43legacy/dma.c free_all_descbuffers() -> free_descriptor_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->dev 4096-ptr_max
PARAM_VALUE 0 ring->dev->dev 4096-ptr_max
PARAM_VALUE 0 ring->dev->wl 0,4096-ptr_max
PARAM_VALUE 0 ring->nr_slots 1-s32max
PARAM_VALUE 0 ring->used_slots s32min-(-1),1-s32max
PARAM_VALUE 1 meta 4096-ptr_max
PARAM_VALUE 1 meta->skb 1-u64max
PARAM_VALUE 2 irq_context 0
BUF_SIZE 0 ring (-1),96
BUF_SIZE 0 ring (-1),96
CAPPED_DATA 0 ring->dev->dev 1
DATA_SOURCE 0 ring $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ring->nr_slots
NO_OVERFLOW_SIMPLE 0 ring->rx_buffersize
NO_OVERFLOW_SIMPLE 0 ring->used_slots
LOCK2 &wl->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct b43legacy_wl)->mutex