Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/vmw_vsock/vsock_loopback.c vsock_loopback_send_pkt() -> virtio_vsock_skb_queue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 8323122270845825032
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->head 4096-ptr_max
PARAM_VALUE 1 skb->head->buf_alloc 0-4294967295
PARAM_VALUE 1 skb->head->dst_cid 0-4294967295
PARAM_VALUE 1 skb->head->dst_port 0-4294967295
PARAM_VALUE 1 skb->head->flags 0-4294967295
PARAM_VALUE 1 skb->head->fwd_cnt 0-4294967295
PARAM_VALUE 1 skb->head->len 0-65536
PARAM_VALUE 1 skb->head->op 1-6
PARAM_VALUE 1 skb->head->src_cid 0-4294967295
PARAM_VALUE 1 skb->head->src_port 0-4294967295
PARAM_VALUE 1 skb->head->type 0-u16max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb $0
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/vmw_vsock/virtio_transport.c virtio_transport_send_pkt() -> virtio_vsock_skb_queue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->head 4096-ptr_max
PARAM_VALUE 1 skb->head->buf_alloc 0-4294967295
PARAM_VALUE 1 skb->head->dst_port 0-4294967295
PARAM_VALUE 1 skb->head->flags 0-4294967295
PARAM_VALUE 1 skb->head->fwd_cnt 0-4294967295
PARAM_VALUE 1 skb->head->len 0-65536
PARAM_VALUE 1 skb->head->op 1-6
PARAM_VALUE 1 skb->head->src_cid 0-4294967295
PARAM_VALUE 1 skb->head->src_port 0-4294967295
PARAM_VALUE 1 skb->head->type 0-u16max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 sk

drivers/vhost/vsock.c vhost_transport_send_pkt() -> virtio_vsock_skb_queue_tail()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->head 4096-ptr_max
PARAM_VALUE 1 skb->head->buf_alloc 0-4294967295
PARAM_VALUE 1 skb->head->dst_cid 0-4294967295
PARAM_VALUE 1 skb->head->dst_port 0-4294967295
PARAM_VALUE 1 skb->head->flags 0-4294967295
PARAM_VALUE 1 skb->head->fwd_cnt 0-4294967295
PARAM_VALUE 1 skb->head->len 0-65536
PARAM_VALUE 1 skb->head->op 1-6
PARAM_VALUE 1 skb->head->src_cid 0-4294967295
PARAM_VALUE 1 skb->head->src_port 0-4294967295
PARAM_VALUE 1 skb->head->type 0-u16max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 sk