Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/packet/af_packet.c packet_snd() -> packet_xmit()

Type Parameter Key Value
PARAM_VALUE 0 po->vnet_hdr_sz 0,10,12
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 0,5871617288306880512,7346051344949997568
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->dev->flags 1-u32max
PARAM_VALUE 1 skb->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 1 skb->len 1-u32max
PARAM_VALUE 1 skb->sk 0,4096-ptr_max
PARAM_VALUE 1 skb->skb_mstamp_ns 0
PARAM_VALUE 1 skb->tstamp 0
PARAM_VALUE 1 skb->tstamp_type 0
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb r packet_alloc_skb
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->csum_offset 0-u16max
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->len 1-u32max[c]
HALF_LOCKED2 &vq->mutex

net/packet/af_packet.c tpacket_snd() -> packet_xmit()

Type Parameter Key Value
PARAM_VALUE 0 po 4096-ptr_max
PARAM_VALUE 0 po->pg_vec_lock.dep_map->name 0-255
PARAM_VALUE 0 po->pg_vec_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 po->pg_vec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 po->pg_vec_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 po->pg_vec_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 po->pg_vec_lock.wait_lock.owner (-1)
PARAM_VALUE 0 po->pg_vec_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 po->sk.__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 po->sk.sk_socket 4096-ptr_max
PARAM_VALUE 0 po->skb_completion.done 0
PARAM_VALUE 0 po->tp_version 0-2
PARAM_VALUE 0 po->tx_ring.pending_refcnt 4096-ptr_max
PARAM_VALUE 0 po->tx_ring.pg_vec 4096-ptr_max
PARAM_VALUE 0 po->vnet_hdr_sz 0,10,12
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data->address 15,143,255
PARAM_VALUE 1 skb->data->control 0,3
PARAM_VALUE 1 skb->data->protocol 0,33,87,32801,32855,49185
PARAM_VALUE 1 skb->destructor 2411697610625884160
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->dev->flags 1-u32max
PARAM_VALUE 1 skb->hash 1-u32max
PARAM_VALUE 1 skb->mac_len 3-37
PARAM_VALUE 1 skb->skb_mstamp_ns 0
PARAM_VALUE 1 skb->sw_hash 1
PARAM_VALUE 1 skb->tstamp 0
PARAM_VALUE 1 skb->tstamp_type 0
PARAM_VALUE 1 *skb->data->h_dest 0-255
PARAM_VALUE 1 *skb->data->h_source 0-255
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
CAPPED_DATA 0 &po->pg_vec_lock 1
DATA_SOURCE 0 po $0
DATA_SOURCE 1 skb r sock_alloc_send_skb
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->csum_offset 0-u16max
HOST_DATA 1 skb->data_len 0-2147483645[c]
LOCK2 0 &po->pg_vec_lock
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct packet_sock)->pg_vec_lock