Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_init_share_ram_info() -> brcmf_pcie_bus_console_init()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->shared.max_rxbufpost 1-u16max
PARAM_VALUE 0 devinfo->shared.tcm_base_address 0-4294967294
PARAM_VALUE 0 devinfo->shared.version 5-7
CAPPED_DATA 0 devinfo->ci->rambase 1
DATA_SOURCE 0 devinfo $0
FUZZY_MAX 0 devinfo->shared.max_rxbufpost 255
FUZZY_MAX 0 devinfo->shared.version 5
HARD_MAX 0 devinfo->shared.version 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock