Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
DATA_SOURCE 0 skb $0
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 sk

net/vmw_vsock/virtio_transport.c virtio_transport_send_pkt_work() -> virtio_vsock_skb_reply()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
DATA_SOURCE 0 skb r virtio_vsock_skb_dequeue
LOCK2 &vsock->tx_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_vsock)->tx_lock

drivers/vhost/vsock.c vhost_transport_do_send_pkt() -> virtio_vsock_skb_reply()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->cb 4096-ptr_max
CAPPED_DATA 0 skb->len 1
DATA_SOURCE 0 skb r virtio_vsock_skb_dequeue
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
DATA_SOURCE 0 skb $0
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 sk

net/vmw_vsock/virtio_transport_common.c virtio_transport_purge_skbs() -> virtio_vsock_skb_reply()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
CAPPED_DATA 0 skb->sk 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 skb unit_byte
LOCK2 &queue->lock
LOCK2 bh
LOCK2 sk
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct sk_buff_head)->lock