Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->skb 4096-ptr_max
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->length 0,65281-u16max
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 entry->skb (-1)-s32max
DATA_SOURCE 0 entry r rt2x00queue_get_entry
MEM_ZERO 1 txdesc
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 entry->skb->csum_offset 0-u16max
HOST_DATA 0 entry->skb->data_len 0-2147483648[c]
HOST_DATA 0 entry->skb->len 14-u32max[c]
HOST_DATA 0 entry->skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 entry->skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 txdesc->length 0,65281-u16max[c]
NO_OVERFLOW_SIMPLE 0 entry->skb->end
NO_OVERFLOW_SIMPLE 0 entry->skb->len
NO_OVERFLOW_SIMPLE 0 entry->skb->tail
NO_OVERFLOW_SIMPLE 0 entry->skb->truesize
NO_OVERFLOW_SIMPLE 1 txdesc->length
USER_PTR 0 entry->skb->data
LOCK2 &queue->tx_lock
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct data_queue)->tx_lock