Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/vmw_vsock/virtio_transport.c virtio_vsock_rx_fill() -> virtio_vsock_alloc_linear_skb()

Type Parameter Key Value
PARAM_VALUE 0 size 3776
PARAM_VALUE 1 mask 3264
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vsock->rx_lock
HALF_LOCKED2 global &the_virtio_vsock_mutex
TYPE_LOCK (struct virtio_vsock)->rx_lock

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

Type Parameter Key Value
PARAM_VALUE 0 size 44-32448
PARAM_VALUE 1 mask 3264
DATA_SOURCE 0 size $0
DATA_SOURCE 1 mask $1
FUZZY_MAX 0 size 32448
HARD_MAX 0 size 32448
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_collapse_rx_queue() -> virtio_vsock_alloc_linear_skb()

Type Parameter Key Value
PARAM_VALUE 1 mask 3264
RX_PATH
TASK_NOT_RUNNING
UNITS 0 size unit_byte
LOCK2 sk
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock

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

Type Parameter Key Value
PARAM_VALUE 0 size 44-32448
PARAM_VALUE 1 mask 3264
DATA_SOURCE 0 size $0
DATA_SOURCE 1 mask $1
FUZZY_MAX 0 size 32448
HARD_MAX 0 size 32448
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 size 44-32448[c][u]
UNITS 0 size unit_byte
HALF_LOCKED2 sk