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_quick_check_isr() -> brcmf_pcie_intr_disable()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
DATA_SOURCE 0 devinfo $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_release_irq() -> brcmf_pcie_intr_disable()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->irq_allocated 1
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 1-u64max
PARAM_VALUE 0 devinfo->console_active 0
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_request_irq() -> brcmf_pcie_intr_disable()

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 s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
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->pci_32bit_workaround 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.ringupd 1-ptr_max
PARAM_VALUE 0 devinfo->shared.scratch 1-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
CAPPED_DATA 0 devinfo->ci->rambase 1
DATA_SOURCE 0 devinfo $0
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_reset() -> brcmf_pcie_intr_disable()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock