Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_attach() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 1 coreid 2108
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_enter_download_state() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 43602
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 1 coreid 2110
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_pm_leave_D3() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
PARAM_VALUE 0 devinfo->state 1
PARAM_VALUE 1 coreid 2108
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_read_otp() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 17237,17252
PARAM_VALUE 0 devinfo->ci->chiprev 0-15
PARAM_VALUE 0 devinfo->ci->enum_base 402653184
PARAM_VALUE 0 devinfo->ci->pmurev 0-255
PARAM_VALUE 0 devinfo->ci->rambase 1441792,1507328,1572864,1671168,2097152,3481600,7602176
PARAM_VALUE 0 devinfo->ci->srsize 0,8192-u32max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 devinfo->pdev->is_busmaster 1
PARAM_VALUE 0 devinfo->reginfo 4636407877659611136,5266814927502147584
PARAM_VALUE 0 devinfo->settings 4096-ptr_max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_nr 1-u32max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_supported 1
PARAM_VALUE 0 devinfo->settings->country_codes->table_size 0-s32max
PARAM_VALUE 1 coreid 2048
BUF_SIZE 0 devinfo 2056
BUF_SIZE 0 devinfo->reginfo 28
BUF_SIZE 0 devinfo->settings 104
DATA_SOURCE 0 devinfo $0
BIT_INFO 0 devinfo->reginfo 0x4017544401390000,0x4957fc67f7fdd000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->cc_caps 0-u32max
HOST_DATA 0 devinfo->ci->cc_caps_ext 0-u32max
HOST_DATA 0 devinfo->ci->pmucaps 0-u32max
HOST_DATA 0 devinfo->ci->pmurev 0-255
HOST_DATA 0 devinfo->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 devinfo->settings->country_codes->table_size

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_read_otp() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 17237,17252
PARAM_VALUE 0 devinfo->ci->chiprev 0-15
PARAM_VALUE 0 devinfo->ci->enum_base 402653184
PARAM_VALUE 0 devinfo->ci->pmurev 0-255
PARAM_VALUE 0 devinfo->ci->rambase 1441792,1507328,1572864,1671168,2097152,3481600,7602176
PARAM_VALUE 0 devinfo->ci->srsize 0,8192-u32max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 devinfo->pdev->is_busmaster 1
PARAM_VALUE 0 devinfo->reginfo 4636407877659611136,5266814927502147584
PARAM_VALUE 0 devinfo->settings 4096-ptr_max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_nr 1-u32max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_supported 1
PARAM_VALUE 0 devinfo->settings->country_codes->table_size 0-s32max
PARAM_VALUE 1 coreid 2048
BUF_SIZE 0 devinfo 2056
BUF_SIZE 0 devinfo->reginfo 28
BUF_SIZE 0 devinfo->settings 104
DATA_SOURCE 0 devinfo $0
BIT_INFO 0 devinfo->reginfo 0x4017544401390000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->cc_caps 0-u32max
HOST_DATA 0 devinfo->ci->cc_caps_ext 0-u32max
HOST_DATA 0 devinfo->ci->pmucaps 0-u32max
HOST_DATA 0 devinfo->ci->pmurev 0-255
HOST_DATA 0 devinfo->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 devinfo->settings->country_codes->table_size

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_reset_device() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 1-u64max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 1 coreid 2108
BUF_SIZE 0 devinfo (-1),2056
BUF_SIZE 0 devinfo (-1),2056
CAPPED_DATA 0 devinfo 1
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->chip 0-65534
HOST_DATA 0 devinfo->ci->chiprev 0-15[c]
UNITS 0 devinfo unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_reset_device() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 1-u64max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 coreid 2048
BUF_SIZE 0 devinfo (-1),2056
BUF_SIZE 0 devinfo (-1),2056
CAPPED_DATA 0 devinfo 1
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->chip 0-65534
HOST_DATA 0 devinfo->ci->chiprev 0-15[c]
UNITS 0 devinfo unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_reset_device() -> brcmf_pcie_select_core()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 1-u64max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 coreid 2108
BUF_SIZE 0 devinfo (-1),2056
BUF_SIZE 0 devinfo (-1),2056
CAPPED_DATA 0 devinfo 1
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->chip 0-65534
HOST_DATA 0 devinfo->ci->chiprev 0-15[c]
UNITS 0 devinfo unit_byte

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

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_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_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->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 devinfo->pdev->dev.iommu->attach_deferred 0-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
PARAM_VALUE 1 coreid 2108
CAPPED_DATA 0 devinfo->ci->rambase 1
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