Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43legacy/pio.c pio_tx_packet() -> pio_tx_write_fragment()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->tx_devq_packets 0-30,32-255
PARAM_VALUE 0 queue->tx_devq_size 82-u16max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 2 packet 4096-ptr_max
PARAM_VALUE 2 packet->queue 4096-ptr_max
PARAM_VALUE 2 packet->queue->tx_devq_packets 0-30,32-255
PARAM_VALUE 2 packet->queue->tx_devq_size 82-u16max
PARAM_VALUE 2 packet->skb 4096-ptr_max
PARAM_VALUE 3 txhdr_size 82
CAPPED_DATA 0 queue->tx_devq_size 1
DATA_SOURCE 2 packet $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 3 txhdr_size unit_byte
LOCK2 &dev->wl->irq_lock
LOCK2 flags
HALF_LOCKED2 bh
TYPE_LOCK (struct b43legacy_wl)->irq_lock