Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/proto.c brcmf_proto_detach() -> brcmf_proto_msgbuf_detach()

Type Parameter Key Value
PARAM_VALUE 0 drvr 4096-ptr_max
PARAM_VALUE 0 drvr->bus_if 4096-ptr_max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.pcie->devinfo->timer.flags 0-4194302
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.pcie->devinfo->timer.lockdep_map->name 0-255
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->clkstate 0-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->glom.qlen 0-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->glomd->pp_recycle 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->glomd->users.refs.counter s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->rxctl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->timer.flags 0-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->txq.len 0-u16max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->__state 0,512
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->dl.rq->cpu s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->dl.rq->nr_pinned 0-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->dl.rq->online s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->dl.rq->push_busy 0-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->dl.rq->push_cpu s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->dl.rq->yld_count 0-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->flags 0,67108864-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->on_rq 0-1,3-255
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->pi_lock.owner (-1)
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->sched_migrated 1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->signal->flags 0,2-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->watchdog_tsk->wake_cpu 0-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->wd_active 1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->claim_cnt s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->cqe_on 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->doing_retune 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->hold_retune s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->led->brightness 0-4294967295
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->need_retune s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->retune_now 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->uhs2_app_cmd 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func2->card->host->cqe_on 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func2->card->host->doing_retune 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func2->card->host->hold_retune s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func2->card->host->need_retune s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func2->card->host->retune_now 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func2->card->host->uhs2_app_cmd 0-1
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->sbwad 0,32768-4294967295
PARAM_VALUE 0 drvr->bus_if->ops 4096-ptr_max
PARAM_VALUE 0 drvr->bus_if->ops->stop 4096-ptr_max
PARAM_VALUE 0 drvr->bus_if->proto_type 1
PARAM_VALUE 0 drvr->fweh 0
PARAM_VALUE 0 drvr->iflist 4096-ptr_max
PARAM_VALUE 0 drvr->proto 1-u64max
PARAM_VALUE 0 *drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->tmpbuf 0-255
DATA_SOURCE 0 drvr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock