Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/b43/main.c b43_write32() -> (struct b43_bus_dev)->write32()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 offset 0-4095
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 value $2
CONTAINER 0 *(-80+0) $(-1)
HARD_MAX 1 offset 4095
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
USER_DATA 2 value 0-u32max
HALF_LOCKED2 &wl->hardirq_lock
HALF_LOCKED2 &wl->mutex
HALF_LOCKED2 irq

drivers/net/wireless/broadcom/b43/dma.c b43_write32() -> (struct b43_bus_dev)->write32()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 value $2
CONTAINER 0 *(-80+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wl->mutex

drivers/net/wireless/broadcom/b43/phy_n.c b43_write32() -> (struct b43_bus_dev)->write32()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->read32 4096-ptr_max
PARAM_VALUE 1 offset 288
CAPPED_DATA 2 value 1
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 value $2
CONTAINER 0 *(-80+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
HALF_LOCKED2 &dev->wl->mutex
HALF_LOCKED2 &wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/phy_common.c b43_write32() -> (struct b43_bus_dev)->write32()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->read32 4096-ptr_max
PARAM_VALUE 1 offset 288
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 value $2
CONTAINER 0 *(-80+0) $(-1)
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
HALF_LOCKED2 &wl->mutex

drivers/net/wireless/broadcom/b43/debugfs.c b43_write32() -> (struct b43_bus_dev)->write32()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->read32 4096-ptr_max
PARAM_VALUE 1 offset 0-3836
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 value $2
CONTAINER 0 *(-80+0) $(-1)
NOCHECK_CALL
HOST_DATA 2 value 0-u32max[c]
LOCK2 &dev->wl->mutex
TYPE_LOCK (struct b43_wl)->mutex

drivers/net/wireless/broadcom/b43/pio.c b43_write32() -> (struct b43_bus_dev)->write32()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 value $2
CONTAINER 0 *(-80+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
HALF_LOCKED2 &wl->mutex