Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/net.c fwnet_transmit_packet_done() -> fwnet_send_packet()

Type Parameter Key Value
PARAM_VALUE 0 ptask 4096-ptr_max
PARAM_VALUE 0 ptask->dev 4096-ptr_max
PARAM_VALUE 0 ptask->dev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ptask->hdr.w1 0,65536-4294901760
PARAM_VALUE 0 ptask->outstanding_pkts 1-s32max
PARAM_VALUE 0 ptask->skb 4096-ptr_max
PARAM_VALUE 0 ptask->skb->data 4096-ptr_max
BUF_SIZE 0 ptask (-1)-s32max
BUF_SIZE 0 ptask (-1)-s32max
DATA_SOURCE 0 ptask $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firewire/net.c fwnet_tx() -> fwnet_send_packet()

Type Parameter Key Value
PARAM_VALUE 0 ptask 4096-ptr_max
PARAM_VALUE 0 ptask->dev 4096-ptr_max
PARAM_VALUE 0 ptask->dev->netdev 4096-ptr_max
PARAM_VALUE 0 ptask->enqueued 0
PARAM_VALUE 0 ptask->hdr.w1 0,65536-4294901760
PARAM_VALUE 0 ptask->outstanding_pkts 0-131064
PARAM_VALUE 0 ptask->skb 4096-ptr_max
PARAM_VALUE 0 ptask->skb->data 4096-ptr_max
BUF_SIZE 0 ptask->skb (-1)-s32max
DATA_SOURCE 0 ptask r kmem_cache_alloc_noprof
FUZZY_MAX 0 ptask->hdr.w1 0
FUZZY_MAX 0 ptask->outstanding_pkts 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ptask->skb->csum_offset 0-u16max
HOST_DATA 0 ptask->skb->data_len 0-2147483648[c]
HOST_DATA 0 ptask->skb->tstamp 500000002-4294967299794967295[c]
NO_OVERFLOW_SIMPLE 0 ptask->skb->data_len
NO_OVERFLOW_SIMPLE 0 ptask->skb->end
NO_OVERFLOW_SIMPLE 0 ptask->skb->len
NO_OVERFLOW_SIMPLE 0 ptask->skb->tail
NO_OVERFLOW_SIMPLE 0 ptask->skb->truesize
USER_PTR 0 ptask->skb->data
HALF_LOCKED2 &net->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read