Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ralink/rt2x00/rt2x00queue.c rt2x00queue_write_tx_frame() -> rt2x00crypto_tx_remove_iv()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->cb 4096-ptr_max
PARAM_VALUE 0 skb->cb->control.hw_key->flags 0-u16max
PARAM_VALUE 0 skb->cb->control.rates 4096-ptr_max
PARAM_VALUE 0 skb->cb->control.vif->drv_priv->seqno.counter s32min-s32max
PARAM_VALUE 0 skb->cb->flags 4-4294967295
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->data->seq_ctrl 0-u16max
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 1 txdesc 4545263468273938432
PARAM_VALUE 1 txdesc->cipher 0-4
PARAM_VALUE 1 txdesc->flags 0
PARAM_VALUE 1 txdesc->header_length 0,4,10,16,24,26,28,30,32,36
PARAM_VALUE 1 txdesc->iv_len 0-255
PARAM_VALUE 1 txdesc->iv_offset 0,4,10,16,24,26,28,30,32,36
PARAM_VALUE 1 txdesc->key_idx 0-255
PARAM_VALUE 1 txdesc->rate_mode 0-3
PARAM_VALUE 1 txdesc->u.ht.ba_size 0,7
PARAM_VALUE 1 txdesc->u.ht.mcs 0-263,65408-u16max
PARAM_VALUE 1 txdesc->u.ht.stbc 0-1
PARAM_VALUE 1 txdesc->u.ht.txop 0,2-3
PARAM_VALUE 1 txdesc->u.plcp.ifs 0-1
PARAM_VALUE 1 txdesc->u.plcp.length_high 0-255
PARAM_VALUE 1 txdesc->u.plcp.length_low 0-255
PARAM_VALUE 1 txdesc->u.plcp.service 0,4,132
PARAM_VALUE 1 txdesc->u.plcp.signal 0-3,8-23
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb->len 1
DATA_SOURCE 0 skb $1
MEM_ZERO 1 txdesc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->data_len 0-2147483648[c]
HOST_DATA 0 skb->len 14-u32max[c]
HOST_DATA 0 skb->prev->csum_offset 0-u16max
HOST_DATA 0 skb->prev->data_len 0-u32max[c]
HOST_DATA 0 skb->prev->len 1-u32max[c]
HOST_DATA 0 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 *skb->data 0-255
HOST_DATA 1 txdesc->length 0[c]
NO_OVERFLOW_SIMPLE 0 skb->dev->group
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 0 skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 0 skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->extensions
NO_OVERFLOW_SIMPLE 0 skb->len
NO_OVERFLOW_SIMPLE 0 skb->next->tail
NO_OVERFLOW_SIMPLE 0 skb->prev->end
NO_OVERFLOW_SIMPLE 0 skb->prev->len
NO_OVERFLOW_SIMPLE 0 skb->prev->tail
NO_OVERFLOW_SIMPLE 0 skb->prev->truesize
NO_OVERFLOW_SIMPLE 0 skb->tail
NO_OVERFLOW_SIMPLE 0 skb->truesize
NO_OVERFLOW_SIMPLE 1 txdesc->length
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 rcu_read