Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/marvell/mwifiex/wmm.c mwifiex_process_bypass_tx() -> mwifiex_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 0 *priv->adapter->dbg.last_mp_curr_wr_port 0-4294967295
PARAM_VALUE 0 *priv->adapter->dbg.last_mp_wr_bitmap 0-4294967295
PARAM_VALUE 0 *priv->adapter->dbg.last_mp_wr_len 0-4294967295
PARAM_VALUE 0 *priv->adapter->dbg.last_mp_wr_ports 0-4294967295
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 4074120548997914624
CAPPED_DATA 0 &priv->bypass_txq 1
DATA_SOURCE 1 skb r skb_dequeue
PARAM_COMPARE 0 &priv->bypass_txq != $0->bypass_txq.next
HOST_DATA 0 priv->bypass_txq.next->csum_offset 0-u16max
HOST_DATA 0 priv->bypass_txq.next->data_len 0-u32max[c]
HOST_DATA 0 priv->bypass_txq.next->len 0-u32max[c]
HOST_DATA 0 priv->bypass_txq.next->prev->csum_offset 0-u16max
HOST_DATA 0 priv->bypass_txq.next->prev->data_len 0-u32max[c]
HOST_DATA 0 priv->bypass_txq.next->prev->len 0-u32max[c]
HOST_DATA 0 priv->bypass_txq.next->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 priv->bypass_txq.next->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 priv->bypass_txq.next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 priv->bypass_txq.next->users.refs.counter s32min-0,2-s32max
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/marvell/mwifiex/wmm.c mwifiex_send_single_packet() -> mwifiex_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->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 4122462314545274880
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 skb r skb_dequeue