Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_tx_ctrlframe() -> brcmf_sdio_txfail()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->clkstate 3
PARAM_VALUE 0 bus->ctrl_frame_stat 1
PARAM_VALUE 0 bus->sdiodev 4096-ptr_max
PARAM_VALUE 0 bus->sdiodev->cc_core 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->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bus->sdiodev->irq_en 1
PARAM_VALUE 0 bus->sdiodev->irq_en_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 bus $0
NOCHECK_CALL
HOST_DATA 0 *bus->sdiodev->func1->tmpbuf 0-255
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_txpkt() -> brcmf_sdio_txfail()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->clkstate 3
PARAM_VALUE 0 bus->fcstate.counter 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 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->retune_now 0-1
PARAM_VALUE 0 bus->sdiodev->func1->card->host->uhs2_app_cmd 0-1
PARAM_VALUE 0 bus->sdiodev->irq_en 1
PARAM_VALUE 0 bus->sdiodev->irq_en_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bus->txq_lock.rlock.dep_map->name 0-255
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
DATA_SOURCE 0 bus $0
NOCHECK_CALL
HOST_DATA 0 *bus->sdiodev->func1->tmpbuf 0-255
HALF_LOCKED2 &pool->lock