Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/ssb/driver_pcicore.c ssb_pcicore_fix_sprom_core_index() -> pcicore_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pc | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->bus->bar_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pc->dev->bus->chipco.pmu.crystalfreq | 0,2,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->cis_mem.card_start | 0-4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->cis_mem.flags | 0-255 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->ops_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claimed | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claimer | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claimer->task | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->cqe_on | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->doing_retune | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.flags | 0-4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->fail_mmc_request.space.counter | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->fail_mmc_request.times.counter | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->hold_retune | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->need_retune | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.done | 0-4294967293,4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.flags | 0-4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_hard | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_lazy | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_queued | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_soft | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->cookie | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->cookie_sg_count | (-22),0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->dma_len | 1-4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->next_data.cookie | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->next_data.dma_len | 0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->pcr->pci->dev.dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->sg_count | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->retune_now | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->uhs2_app_cmd | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->mapped_device | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->bus->mapped_device->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->bus->sdio_sbaddr | 0-255,402653184-403697664 |
| PARAM_VALUE | 0 | pc->dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->ops->write32 | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->hostmode | 0 |
| PARAM_VALUE | 0 | *pc->dev->bus->host_pcmcia->socket->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *pc->dev->bus->host_sdio->card->host->private->regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *pc->dev->bus->host_sdio->card->host->private->ucr->cmd_buf | 0-255 |
| PARAM_VALUE | 1 | offset | 2048 |
| CAPPED_DATA | 0 | pc->dev | 1 |
| DATA_SOURCE | 0 | pc | $0 |
| BIT_INFO | 2 | value | 0x0,0xfff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | value | 0-u16max[c] |
drivers/ssb/driver_pcicore.c ssb_pcicore_pcie_setup_workarounds() -> pcicore_write16()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pc | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->bus->bar_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pc->dev->bus->chipco.pmu.crystalfreq | 0,2,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->cis_mem.card_start | 0-4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->cis_mem.flags | 0-255 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->ops_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->ops_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_pcmcia->socket->ops_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claimed | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claimer | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->claimer->task | 0 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->cqe_on | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->doing_retune | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->fail_mmc_request.ratelimit_state.flags | 0-4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->fail_mmc_request.space.counter | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->fail_mmc_request.times.counter | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->hold_retune | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->need_retune | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->cookie | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->cookie_sg_count | (-22),0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->dma_len | 1-4294967295 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->next_data.cookie | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->next_data.dma_len | 0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->pcr->pci->dev.dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->sg_count | s32min-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->retune_now | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->host_sdio->card->host->uhs2_app_cmd | 0-1 |
| PARAM_VALUE | 0 | pc->dev->bus->mapped_device | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->bus->mapped_device->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->bus->sdio_sbaddr | 0-255,402653184-403697664 |
| PARAM_VALUE | 0 | pc->dev->id.revision | 6-255 |
| PARAM_VALUE | 0 | pc->dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->ops->read16 | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->ops->read32 | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->dev->ops->write32 | 4096-ptr_max |
| PARAM_VALUE | 0 | pc->setup_done | 0 |
| PARAM_VALUE | 0 | *pc->dev->bus->host_pcmcia->socket->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *pc->dev->bus->host_sdio->card->host->private->regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *pc->dev->bus->host_sdio->card->host->private->ucr->cmd_buf | 0-255 |
| PARAM_VALUE | 0 | *pc->dev->bus->host_sdio->tmpbuf | 0-255 |
| PARAM_VALUE | 1 | offset | 2058 |
| CAPPED_DATA | 0 | pc->dev | 1 |
| DATA_SOURCE | 0 | pc | $0 |
| BIT_INFO | 2 | value | 0x8000,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pc->dev->bus->chipco.capabilities | 0-u32max |
| HOST_DATA | 0 | pc->dev->bus->chipco.max_timer_ms | 2114-u16max,541200-u32max[c] |
| HOST_DATA | 0 | pc->dev->bus->chipco.status | 0-u32max |
| HOST_DATA | 0 | pc->dev->bus->chipco.ticks_per_ms | 1-31[c] |
| HOST_DATA | 0 | pc->dev->bus->host_sdio->card->host->fail_mmc_request.stacktrace_depth | s64min-s64max |
| HOST_DATA | 0 | *pc->dev->bus->host_sdio->tmpbuf | 0-255 |
| HOST_DATA | 2 | value | 0-u16max[c] |
| HALF_LOCKED2 | &wl->mutex |