Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_setup() -> brcmf_pcie_init_ringbuffers()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->dma_idx_sz 2,4
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.dma_ops->dma_supported 0,5,527,36170722626370355,50235921770707435,2528523692154392576
PARAM_VALUE 0 devinfo->pdev->dev.dma_ops->map_phys 0,6,632,41691940639962357,48484213451719352,2506261230157742080
PARAM_VALUE 0 devinfo->pdev->dev.dma_ops->map_sg 0,6,663,25185384816762593,58722010135957667,2118452656510775296
PARAM_VALUE 0 devinfo->pdev->dev.dma_ops->mmap 0,5761417605877342208,7694740394750603264
PARAM_VALUE 0 devinfo->pdev->dev.dma_ops->unmap_phys 0,7,775,56908367586663833,62571895156780032,3634718672199266304
PARAM_VALUE 0 devinfo->pdev->dev.dma_ops->unmap_sg 0,8,892,84728456996604354,86767622481470668,1256335292805263360
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
PARAM_VALUE 0 devinfo->state 1
PARAM_VALUE 0 *devinfo->shared.console->log_str 0-12,14-255
CAPPED_DATA 0 devinfo->ci->rambase 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 devinfo->shared.console.base_addr 0-u32max
HOST_DATA 0 devinfo->shared.console.buf_addr 0-u32max
HOST_DATA 0 devinfo->shared.console.bufsize 0-u32max
HOST_DATA 0 devinfo->shared.dtoh_mb_data_addr 0-u32max
HOST_DATA 0 devinfo->shared.flags 0-u32max
HOST_DATA 0 devinfo->shared.htod_mb_data_addr 0-u32max
HOST_DATA 0 devinfo->shared.ring_info_addr 0-u32max
HOST_DATA 0 devinfo->shared.rx_dataoffset 0-u32max
HALF_LOCKED2 &pool->lock