Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/vhost/vsock.c vhost_vsock_alloc_skb() -> virtio_vsock_alloc_skb()

Type Parameter Key Value
PARAM_VALUE 0 size 44-65580
PARAM_VALUE 1 mask 3264
DATA_SOURCE 0 size r iov_length
RX_PATH
TASK_NOT_RUNNING
UNITS 0 size unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

net/vmw_vsock/virtio_transport_common.c virtio_transport_alloc_skb() -> virtio_vsock_alloc_skb()

Type Parameter Key Value
PARAM_VALUE 0 size 44-65580
PARAM_VALUE 1 mask 3264
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 size 44-65580[c][u]
UNITS 0 size unit_byte
HALF_LOCKED2 sk