Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/vmw_vsock/virtio_transport.c virtio_transport_rx_work() -> virtio_vsock_skb_put()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 1 len 1-4294967251
CAPPED_DATA 1 len 1
DATA_SOURCE 0 skb r virtqueue_get_buf
RX_PATH
NOCHECK_CALL
HOST_DATA 0 skb->_nfct 0-u64max
HOST_DATA 0 skb->_sk_redir 0-u64max
HOST_DATA 0 skb->_skb_refdst 0-u64max
HOST_DATA 0 skb->active_extensions 0-255
HOST_DATA 0 skb->alloc_cpu 0-u16max
HOST_DATA 0 skb->cloned 0-1
HOST_DATA 0 skb->csum 0-u32max
HOST_DATA 0 skb->csum_complete_sw 0-1
HOST_DATA 0 skb->csum_level 0-3
HOST_DATA 0 skb->csum_not_inet 0-1
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->csum_start 0-u16max
HOST_DATA 0 skb->csum_valid 0-1
HOST_DATA 0 skb->data_len 0-u32max
HOST_DATA 0 skb->decrypted 0-1
HOST_DATA 0 skb->dev_scratch 0-u64max
HOST_DATA 0 skb->dst_pending_confirm 0-1
HOST_DATA 0 skb->encap_hdr_csum 0-1
HOST_DATA 0 skb->encapsulation 0-1
HOST_DATA 0 skb->end 0-u32max
HOST_DATA 0 skb->fclone 0-3
HOST_DATA 0 skb->from_ingress 0-1
HOST_DATA 0 skb->hash 0-u32max
HOST_DATA 0 skb->hdr_len 0-u16max
HOST_DATA 0 skb->head_frag 0-1
HOST_DATA 0 skb->ignore_df 0-1
HOST_DATA 0 skb->inner_ipproto 0-255
HOST_DATA 0 skb->inner_mac_header 0-u16max
HOST_DATA 0 skb->inner_network_header 0-u16max
HOST_DATA 0 skb->inner_protocol 0-u16max
HOST_DATA 0 skb->inner_protocol_type 0-1
HOST_DATA 0 skb->inner_transport_header 0-u16max
HOST_DATA 0 skb->ip_summed 0-3
HOST_DATA 0 skb->ipvs_property 0-1
HOST_DATA 0 skb->l4_hash 0-1
HOST_DATA 0 skb->len 0-u32max
HOST_DATA 0 skb->mac_header 0-u16max
HOST_DATA 0 skb->mac_len 0-u16max
HOST_DATA 0 skb->mark 0-u32max
HOST_DATA 0 skb->napi_id 0-u32max
HOST_DATA 0 skb->ndisc_nodetype 0-3
HOST_DATA 0 skb->network_header 0-u16max
HOST_DATA 0 skb->nf_skip_egress 0-1
HOST_DATA 0 skb->nf_trace 0-1
HOST_DATA 0 skb->no_fcs 0-1
HOST_DATA 0 skb->nohdr 0-1
HOST_DATA 0 skb->offload_fwd_mark 0-1
HOST_DATA 0 skb->offload_l3_fwd_mark 0-1
HOST_DATA 0 skb->ooo_okay 0-1
HOST_DATA 0 skb->peeked 0-1
HOST_DATA 0 skb->pfmemalloc 0-1
HOST_DATA 0 skb->pkt_type 0-7
HOST_DATA 0 skb->pp_recycle 0-1
HOST_DATA 0 skb->priority 0-u32max
HOST_DATA 0 skb->protocol 0-u16max
HOST_DATA 0 skb->queue_mapping 0-u16max
HOST_DATA 0 skb->redirected 0-1
HOST_DATA 0 skb->remcsum_offload 0-1
HOST_DATA 0 skb->reserved_tailroom 0-u32max
HOST_DATA 0 skb->secmark 0-u32max
HOST_DATA 0 skb->sender_cpu 0-u32max
HOST_DATA 0 skb->skb_iif s32min-s32max
HOST_DATA 0 skb->skb_mstamp_ns 0-u64max
HOST_DATA 0 skb->slow_gro 0-1
HOST_DATA 0 skb->sw_hash 0-1
HOST_DATA 0 skb->tail 0-u32max
HOST_DATA 0 skb->tc_at_ingress 0-1
HOST_DATA 0 skb->tc_depth 0-3
HOST_DATA 0 skb->tc_index 0-u16max
HOST_DATA 0 skb->tc_skip_classify 0-1
HOST_DATA 0 skb->transport_header 0-u16max
HOST_DATA 0 skb->truesize 0-u32max
HOST_DATA 0 skb->tstamp s64min-s64max
HOST_DATA 0 skb->tstamp_type 0-3
HOST_DATA 0 skb->unreadable 0-1
HOST_DATA 0 skb->vlan_all 0-u32max
HOST_DATA 0 skb->vlan_proto 0-u16max
HOST_DATA 0 skb->vlan_tci 0-u16max
HOST_DATA 0 skb->wifi_acked 0-1
HOST_DATA 0 skb->wifi_acked_valid 0-1
UNITS 1 len unit_byte
LOCK2 &vsock->rx_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_vsock)->rx_lock

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

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 1 len 1-u32max
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
DATA_SOURCE 0 skb r virtio_vsock_alloc_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

net/vmw_vsock/virtio_transport_common.c virtio_transport_fill_skb() -> virtio_vsock_skb_put()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->destructor 0,5871617288306880512,7346051344949997568
PARAM_VALUE 0 skb->head 4096-ptr_max
PARAM_VALUE 0 skb->head->buf_alloc 0
PARAM_VALUE 0 skb->head->dst_cid 0-4294967295
PARAM_VALUE 0 skb->head->dst_port 0-4294967295
PARAM_VALUE 0 skb->head->flags 0-3
PARAM_VALUE 0 skb->head->fwd_cnt 0
PARAM_VALUE 0 skb->head->len 0-65536
PARAM_VALUE 0 skb->head->op 1-6
PARAM_VALUE 0 skb->head->src_cid 0-4294967295
PARAM_VALUE 0 skb->head->src_port 0-4294967295
PARAM_VALUE 0 skb->head->type 0-u16max
PARAM_VALUE 0 skb->sk 0,4096-ptr_max
PARAM_VALUE 1 len 1-65536
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 1 len 1
DATA_SOURCE 0 skb $0
DATA_SOURCE 1 len $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 len 1-65536[c]
NO_OVERFLOW_SIMPLE 0 skb->sk->sk_backlog.len
UNITS 1 len unit_byte
HALF_LOCKED2 child
HALF_LOCKED2 sk