Open Menu /

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_scratchbuffers() -> brcmf_pcie_release_scratchbuffers()

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->idxbuf 0-ptr_max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 devinfo->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 devinfo->read_ptr 239349874067329024,6590552993836171264
PARAM_VALUE 0 devinfo->shared.flowrings 16,4096-ptr_max
PARAM_VALUE 0 devinfo->shared.max_flowrings 0-512
PARAM_VALUE 0 devinfo->shared.max_rxbufpost 1-u16max
PARAM_VALUE 0 devinfo->shared.scratch 0-ptr_max
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
BUF_SIZE 0 devinfo->shared.ringupd 1024,u64max
BUF_SIZE 0 devinfo->shared.scratch 8
CAPPED_DATA 0 devinfo->ci->rambase 1
CAPPED_DATA 0 &devinfo->pdev->dev 1
DATA_SOURCE 0 devinfo $0
MEM_ZERO 0 devinfo->shared.scratch
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_remove() -> brcmf_pcie_release_scratchbuffers()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->console_active 0
PARAM_VALUE 0 devinfo->irq_allocated 0
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->state 0
PARAM_VALUE 0 devinfo->timer.entry.pprev 0
PARAM_VALUE 0 devinfo->timer.flags 0-4194302
PARAM_VALUE 0 devinfo->timer.function 0
CAPPED_DATA 0 devinfo 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 devinfo unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_reset() -> brcmf_pcie_release_scratchbuffers()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->irq_allocated 0
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
CAPPED_DATA 0 devinfo 1
NOCHECK_CALL
UNITS 0 devinfo unit_byte
HALF_LOCKED2 &pool->lock