Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bcma/driver_chipcommon_pmu.c bcma_pmu_pll_init() -> bcma_pmu2_pll_init0()

Type Parameter Key Value
PARAM_VALUE 0 cc 4096-ptr_max
PARAM_VALUE 0 cc->capabilities 268435456-u32max
PARAM_VALUE 0 cc->core 4096-ptr_max
PARAM_VALUE 0 cc->core->bus 4096-ptr_max
PARAM_VALUE 0 cc->core->bus->ops->write32 4096-ptr_max
PARAM_VALUE 0 cc->early_setup_done 1
PARAM_VALUE 0 cc->pmu.core 4096-ptr_max
PARAM_VALUE 0 cc->pmu.core->bus 4096-ptr_max
PARAM_VALUE 0 cc->pmu.core->bus->mapped_core 4096-ptr_max
PARAM_VALUE 0 cc->pmu.core->bus->mapped_core->bus 4096-ptr_max
PARAM_VALUE 0 cc->pmu.core->bus->ops 4096-ptr_max
PARAM_VALUE 0 cc->pmu.core->bus->ops->read32 4096-ptr_max
PARAM_VALUE 0 cc->pmu.core->bus->ops->write32 4096-ptr_max
PARAM_VALUE 0 cc->setup_done 0
PARAM_VALUE 0 cc->sflash.blocksize 0,256,512,1024,4096,65536
PARAM_VALUE 0 cc->sflash.numblocks 0,4,8,16,32,64,128,256,512,1024,2048,4096,8192
PARAM_VALUE 0 cc->sflash.size 0-536870912
PARAM_VALUE 1 xtalfreq 1-67100
CAPPED_DATA 0 cc->core 1
CAPPED_DATA 0 cc->pmu.core 1
DATA_SOURCE 0 cc $0
FUZZY_MAX 1 xtalfreq 20000
BIT_INFO 0 cc->capabilities 0x10000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 cc->capabilities 268435456-u32max
HOST_DATA 0 cc->capabilities_ext 0-u32max
HOST_DATA 0 cc->pmu.rev 0,2-255
HOST_DATA 0 cc->status 0-u32max
HOST_DATA 1 xtalfreq 1-67100[c]