Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmutil/utils.c brcmu_pktq_penq() -> pktq_pfull()

Type Parameter Key Value
PARAM_VALUE 0 pq 4096-ptr_max
PARAM_VALUE 1 prec 0-510
CAPPED_DATA 0 pq->len 1
CAPPED_DATA 0 pq->max 1
CAPPED_DATA 1 prec 1
DATA_SOURCE 0 pq $0
DATA_SOURCE 1 prec $1
PARAM_COMPARE 0 pq->len < $0->max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bus->txq_lock
HALF_LOCKED2 &fws->spinlock
HALF_LOCKED2 bh
HALF_LOCKED2 fws->flags

drivers/net/wireless/broadcom/brcm80211/brcmutil/utils.c brcmu_pktq_penq_head() -> pktq_pfull()

Type Parameter Key Value
PARAM_VALUE 0 pq 4096-ptr_max
PARAM_VALUE 1 prec 0-8
CAPPED_DATA 0 pq->len 1
CAPPED_DATA 0 pq->max 1
DATA_SOURCE 0 pq $0
DATA_SOURCE 1 prec $1
PARAM_COMPARE 0 pq->len < $0->max
PREEMPT_ADD
LOCK2 &fws->spinlock
LOCK2 fws->flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct brcmf_fws_info)->spinlock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/fwsignal.c brcmf_fws_enq() -> pktq_pfull()

Type Parameter Key Value
PARAM_VALUE 0 pq 4096-ptr_max
PARAM_VALUE 1 prec 1-511
BUF_SIZE 0 pq 1672
CAPPED_DATA 0 pq->len 1
CAPPED_DATA 0 pq->max 1
PARAM_COMPARE 0 pq->len < $0->max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fws->spinlock
LOCK2 fws->flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct brcmf_fws_info)->spinlock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_prec_enq() -> pktq_pfull()

Type Parameter Key Value
PARAM_VALUE 0 pq 4096-ptr_max
PARAM_VALUE 1 prec 0-255
DATA_SOURCE 0 pq $0
DATA_SOURCE 1 prec $2
PREEMPT_ADD
TASK_NOT_RUNNING
LOCK2 &bus->txq_lock
LOCK2 bh
TYPE_LOCK (struct brcmf_sdio)->txq_lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_prec_enq() -> pktq_pfull()

Type Parameter Key Value
PARAM_VALUE 0 pq 4096-ptr_max
PARAM_VALUE 1 prec 0-255
DATA_SOURCE 0 pq $0
DATA_SOURCE 1 prec $2
PREEMPT_ADD
TASK_NOT_RUNNING
LOCK2 &bus->txq_lock
LOCK2 bh
TYPE_LOCK (struct brcmf_sdio)->txq_lock