Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/core.c brcmf_bus_stop() -> (struct brcmf_bus_ops)->stop()

Type Parameter Key Value
CONTAINER 0 *(-8-216+16) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock