Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bcma/driver_pci.c bcma_core_pci_extend_L1timer() -> bcma_pcie_write()

Type Parameter Key Value
PARAM_VALUE 0 pc 4096-ptr_max
PARAM_VALUE 0 pc->core 4096-ptr_max
PARAM_VALUE 0 pc->core->bus 4096-ptr_max
PARAM_VALUE 0 pc->core->bus->mapped_core 4096-ptr_max
PARAM_VALUE 0 pc->core->bus->ops 4096-ptr_max
PARAM_VALUE 0 pc->core->bus->ops->read32 4096-ptr_max
PARAM_VALUE 0 pc->core->bus->ops->write32 4096-ptr_max
PARAM_VALUE 1 address 296
BUF_SIZE 0 pc 32
BUF_SIZE 0 pc 32
CAPPED_DATA 0 pc->core 1
DATA_SOURCE 0 pc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
HALF_LOCKED2 &wl->lock
HALF_LOCKED2 &wl->mutex
HALF_LOCKED2 bh