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_kick_tx_queue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->index_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->rt2x00dev 4096-ptr_max
PARAM_VALUE 0 queue->tx_lock.rlock.dep_map->name 0-255
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
DATA_SOURCE 0 queue $0
PARAM_COMPARE 0 queue->length != $0->limit
MEM_ZERO 1 txdesc
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 txdesc->length 0,65281-u16max[c]
NO_OVERFLOW_SIMPLE 1 txdesc->length
LOCK2 0 &queue->tx_lock
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct data_queue)->tx_lock