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/nxp/nxpwifi/wmm.c nxpwifi_process_bypass_tx() -> nxpwifi_process_tx()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->bypass_txq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 0,4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 2 tx_param 5266097749771546624
CAPPED_DATA 0 &priv->bypass_txq 1
DATA_SOURCE 1 skb r skb_dequeue
PARAM_COMPARE 0 &priv->bypass_txq != $0->bypass_txq.next
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->end
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->len
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->prev->end
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->prev->len
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->prev->tail
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->tail
NO_OVERFLOW_SIMPLE 0 priv->bypass_txq.next->truesize
NO_OVERFLOW_SIMPLE 1 skb->next->data_len

drivers/net/wireless/nxp/nxpwifi/wmm.c nxpwifi_send_single_packet() -> nxpwifi_process_tx()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->adapter 4096-ptr_max
PARAM_VALUE 0 priv->port_open 1-255
PARAM_VALUE 0 priv->wmm.ra_list_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 0,4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 2 tx_param 6306655463606120448
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 skb r skb_dequeue