Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_readframes() -> brcmf_sdio_read_control()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->clkstate 3
PARAM_VALUE 0 bus->cur_read.channel 0
PARAM_VALUE 0 bus->cur_read.dat_offset 12-255
PARAM_VALUE 0 bus->cur_read.len 12-u16max
PARAM_VALUE 0 bus->cur_read.len_nxtfrm 0-255
PARAM_VALUE 0 bus->dpc_triggered 0
PARAM_VALUE 0 bus->glom.next 4096-ptr_max
PARAM_VALUE 0 bus->glomd 0
PARAM_VALUE 0 bus->ipend.counter s32min-0
PARAM_VALUE 0 bus->rxhdr 4096-ptr_max
PARAM_VALUE 0 bus->rxskip 0
PARAM_VALUE 0 bus->sdio_core 4096-ptr_max
PARAM_VALUE 0 bus->sdiodev 4096-ptr_max
PARAM_VALUE 0 bus->sdiodev->cc_core->base 0,4096-u32max
PARAM_VALUE 0 bus->sdiodev->func1 0,4096-ptr_max
PARAM_VALUE 0 bus->sdiodev->func1->card->host->claim_cnt s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func1->card->host->claimed 0-1
PARAM_VALUE 0 bus->sdiodev->func1->card->host->cqe_on 0-1
PARAM_VALUE 0 bus->sdiodev->func1->card->host->doing_retune 0-1
PARAM_VALUE 0 bus->sdiodev->func1->card->host->fail_mmc_request.ratelimit_state.flags 0-4294967295
PARAM_VALUE 0 bus->sdiodev->func1->card->host->fail_mmc_request.ratelimit_state.missed.counter s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func1->card->host->fail_mmc_request.space.counter s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func1->card->host->fail_mmc_request.times.counter s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func1->card->host->hold_retune s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func1->card->host->led->brightness 0-4294967295
PARAM_VALUE 0 bus->sdiodev->func1->card->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bus->sdiodev->func1->card->host->need_retune s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func1->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 bus->sdiodev->func1->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 bus->sdiodev->func1->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 bus->sdiodev->func1->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 bus->sdiodev->func1->card->host->retune_now 0-1
PARAM_VALUE 0 bus->sdiodev->func1->card->host->uhs2_app_cmd 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->cqe_on 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->doing_retune 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->fail_mmc_request.ratelimit_state.flags 0-4294967295
PARAM_VALUE 0 bus->sdiodev->func2->card->host->fail_mmc_request.ratelimit_state.missed.counter s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func2->card->host->fail_mmc_request.space.counter s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func2->card->host->fail_mmc_request.times.counter s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func2->card->host->hold_retune s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func2->card->host->led->brightness 0-4294967295
PARAM_VALUE 0 bus->sdiodev->func2->card->host->need_retune s32min-s32max
PARAM_VALUE 0 bus->sdiodev->func2->card->host->ongoing_mrq->cmd_completion.wait.lock.owner (-1)
PARAM_VALUE 0 bus->sdiodev->func2->card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 bus->sdiodev->func2->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 bus->sdiodev->func2->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 bus->sdiodev->func2->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 bus->sdiodev->func2->card->host->parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->parent->iommu->attach_deferred 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->private->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->private->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->private->pcr->pci->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->private->pcr->pcr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 bus->sdiodev->func2->card->host->private->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->private->ucr->dev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 bus->sdiodev->func2->card->host->retune_now 0-1
PARAM_VALUE 0 bus->sdiodev->func2->card->host->uhs2_app_cmd 0-1
PARAM_VALUE 0 bus->sdiodev->func2->num 1-2
PARAM_VALUE 0 bus->sdiodev->sbwad 0,32768-u32max
PARAM_VALUE 0 bus->sdiodev->state 1
PARAM_VALUE 0 *bus->sdiodev->func1->card->host->fail_mmc_request.ratelimit_state.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *bus->sdiodev->func1->card->host->ongoing_mrq->cmd_completion.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *bus->sdiodev->func2->card->host->fail_mmc_request.ratelimit_state.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *bus->sdiodev->func2->card->host->ongoing_mrq->cmd_completion.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 2 len 12-u16max
PARAM_VALUE 3 doff 12-255
CAPPED_DATA 0 bus->glom.next 1
CAPPED_DATA 0 &bus->glom 1
DATA_SOURCE 0 bus $0
FUZZY_MAX 0 bus->ipend.counter 0
PARAM_COMPARE 0 &bus->glom == $0->glom.next
NOCHECK_CALL
HOST_DATA 0 bus->sdiodev->func1->card->host->fail_mmc_request.stacktrace_depth s64min-s64max
HOST_DATA 0 *bus->sdiodev->func1->tmpbuf 0-255
NO_OVERFLOW_SIMPLE 0 *bus->rxhdr
NO_OVERFLOW_SIMPLE 1 *hdr
UNITS 2 len unit_byte
UNITS 3 doff unit_byte
HALF_LOCKED2 &pool->lock