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 |