Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_alloc_dma_and_ring() -> brcmf_pcie_init_dmabuffer_for_device()

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 0,2,4
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->read_ptr 239349874067329024,6590552993836171264
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->write_ptr 1552042079000350720,6497762142859784192
PARAM_VALUE 0 *devinfo->shared.console->log_str 0-12,14-255
PARAM_VALUE 3 dma_handle 207119841823653888
BUF_SIZE 0 devinfo->idxbuf (-1)-1048560
CAPPED_DATA 0 devinfo->ci->rambase 1
DATA_SOURCE 0 devinfo $0
FUZZY_MAX 0 devinfo->shared.version 6
BIT_INFO 0 devinfo->read_ptr 0x352510114d00000,0xffffffffffffffff
BIT_INFO 0 devinfo->write_ptr 0x1008b00c08025000,0xffffffffffffffff
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