Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/pio.c pio_rx_frame() -> b43_piorx_write32()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->dev 4096-ptr_max
PARAM_VALUE 0 q->rev 8-255
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 value 1
DATA_SOURCE 0 q $0
FUZZY_MAX 0 q->rev 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c pio_rx_frame() -> b43_piorx_write32()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev 4096-ptr_max
PARAM_VALUE 0 q->dev->dev 4096-ptr_max
PARAM_VALUE 0 q->rev 8-255
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 value 2
DATA_SOURCE 0 q $0
FUZZY_MAX 0 q->rev 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex