Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/fwsignal.c brcmf_fws_dequeue_worker() -> brcmf_fws_borrow_credit()

Type Parameter Key Value
PARAM_VALUE 0 fws 4096-ptr_max
PARAM_VALUE 0 fws->bus_flow_blocked 0
PARAM_VALUE 0 fws->creditmap_received 1
PARAM_VALUE 0 fws->fcmode 1-u32max
PARAM_VALUE 0 fws->fifo_credit 4096-ptr_max
PARAM_VALUE 0 *fws->deq_node_pos s32min-s32max
PARAM_VALUE 1 highest_lender_ac 0-2
PARAM_VALUE 2 borrower_ac 1-3
PARAM_VALUE 3 borrow_all 1
PREEMPT_ADD <- disables preempt
LOCK2 0 fws->flags
LOCK2 0 &fws->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct brcmf_fws_info)->spinlock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/fwsignal.c brcmf_fws_dequeue_worker() -> brcmf_fws_borrow_credit()

Type Parameter Key Value
PARAM_VALUE 0 fws 4096-ptr_max
PARAM_VALUE 0 fws->bus_flow_blocked 0
PARAM_VALUE 0 fws->creditmap_received 1
PARAM_VALUE 0 fws->drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->dpc_triggered 1
PARAM_VALUE 0 fws->drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->sdcnt.fcqueued 0-4294967295
PARAM_VALUE 0 fws->drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->txoff 1
PARAM_VALUE 0 fws->drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->txq.hi_prec 1-510
PARAM_VALUE 0 fws->drvr->bus_if->dev->driver_data->bus_priv.sdio->bus->txq.len 0-u16max
PARAM_VALUE 0 fws->fcmode 1-u32max
PARAM_VALUE 0 fws->fifo_credit 4096-ptr_max
PARAM_VALUE 0 fws->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *fws->deq_node_pos s32min-s32max
PARAM_VALUE 3 borrow_all 1
PREEMPT_ADD <- disables preempt
LOCK2 0 fws->flags
LOCK2 0 &fws->spinlock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct brcmf_fws_info)->spinlock