Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/core.c brcmf_detach() -> brcmf_proto_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.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->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->private->cookie s32min-s32max
PARAM_VALUE 0 drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->card->host->private->dma_len 1-4294967295
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->fweh 0
PARAM_VALUE 0 drvr->iflist 4096-ptr_max
PARAM_VALUE 0 *drvr->bus_if->dev->driver_data->bus_priv.sdio->func1->tmpbuf 0-255
CAPPED_DATA 0 &drvr->inet6addr_notifier 1
CAPPED_DATA 0 &drvr->inetaddr_notifier 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL