Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/mediatek/mt7601u/dma.c mt7601u_free_tx_queue() -> mt7601u_tx_status()

Type Parameter Key Value
PARAM_VALUE 1 skb 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/net/wireless/mediatek/mt7601u/dma.c mt7601u_tx_tasklet() -> mt7601u_tx_status()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->tx_skb_done.next 4096-ptr_max
PARAM_VALUE 0 dev->tx_skb_done.next->prev 1638784510678810624
PARAM_VALUE 0 dev->tx_skb_done.prev 4096-ptr_max
PARAM_VALUE 0 dev->tx_skb_done.prev->next 1638784510678810624
PARAM_VALUE 0 dev->tx_skb_done.qlen 0
PARAM_VALUE 1 skb 0,4096-1638784510678810624
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
CAPPED_DATA 0 &dev->tx_skb_done 1
DATA_SOURCE 1 skb r __skb_dequeue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh