Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bcma/driver_pci.c bcma_pcicore_serdes_workaround() -> bcma_pcie_mdio_read()

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->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 0 pc->early_setup_done 1
PARAM_VALUE 0 pc->hostmode 0
PARAM_VALUE 0 pc->setup_done 0
PARAM_VALUE 1 device 29
PARAM_VALUE 2 address 1
BUF_SIZE 0 pc (-1),32
BUF_SIZE 0 pc (-1),32
CAPPED_DATA 0 pc->core 1
DATA_SOURCE 0 pc $0
RX_PATH
TASK_NOT_RUNNING

drivers/bcma/driver_pci.c bcma_pcie_mdio_writeread() -> bcma_pcie_mdio_read()

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->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 0 pc->core->id.rev 15-22
PARAM_VALUE 1 device 2049
PARAM_VALUE 2 address 23,25
BUF_SIZE 0 pc 32
BUF_SIZE 0 pc 32
DATA_SOURCE 0 pc $0
DATA_SOURCE 1 device $1
DATA_SOURCE 2 address $2
FUZZY_MAX 0 pc->core->id.rev 21
HARD_MAX 2 address 25
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex