Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_listen() -> virtio_transport_space_update()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1
PARAM_VALUE 0 sk->local_addr.svm_family 40
PARAM_VALUE 0 sk->local_addr.svm_flags 0
PARAM_VALUE 0 sk->local_addr.svm_reserved1 0
PARAM_VALUE 0 sk->remote_addr.svm_family 40
PARAM_VALUE 0 sk->remote_addr.svm_reserved1 0
PARAM_VALUE 0 sk->sk.sk_type 1-2,5
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sk->transport 313939572454838272,4304869436517031936,7768179779944185856
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 6012370149383725056
PARAM_VALUE 1 skb->head 4096-ptr_max
PARAM_VALUE 1 skb->head->op 1
PARAM_VALUE 1 skb->head->type 1-2
PARAM_VALUE 1 skb->sk 4096-ptr_max
PARAM_VALUE 1 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 1 skb 1
DATA_SOURCE 0 sk r vsock_create_connected
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->_nfct 0-u64max
HOST_DATA 1 skb->_sk_redir 0-u64max
HOST_DATA 1 skb->_skb_refdst 0-u64max
HOST_DATA 1 skb->active_extensions 0-255
HOST_DATA 1 skb->alloc_cpu 0-u16max
HOST_DATA 1 skb->cloned 0-1
HOST_DATA 1 skb->csum 0-u32max
HOST_DATA 1 skb->csum_complete_sw 0-1
HOST_DATA 1 skb->csum_level 0-3
HOST_DATA 1 skb->csum_not_inet 0-1
HOST_DATA 1 skb->csum_offset 0-u16max
HOST_DATA 1 skb->csum_start 0-u16max
HOST_DATA 1 skb->csum_valid 0-1
HOST_DATA 1 skb->data_len 0-u32max
HOST_DATA 1 skb->decrypted 0-1
HOST_DATA 1 skb->dev_scratch 0-u64max
HOST_DATA 1 skb->dst_pending_confirm 0-1
HOST_DATA 1 skb->encap_hdr_csum 0-1
HOST_DATA 1 skb->encapsulation 0-1
HOST_DATA 1 skb->end 0-u32max
HOST_DATA 1 skb->fclone 0-3
HOST_DATA 1 skb->from_ingress 0-1
HOST_DATA 1 skb->hash 0-u32max
HOST_DATA 1 skb->hdr_len 0-u16max
HOST_DATA 1 skb->head_frag 0-1
HOST_DATA 1 skb->ignore_df 0-1
HOST_DATA 1 skb->inner_ipproto 0-255
HOST_DATA 1 skb->inner_mac_header 0-u16max
HOST_DATA 1 skb->inner_network_header 0-u16max
HOST_DATA 1 skb->inner_protocol 0-u16max
HOST_DATA 1 skb->inner_protocol_type 0-1
HOST_DATA 1 skb->inner_transport_header 0-u16max
HOST_DATA 1 skb->ip_summed 0-3
HOST_DATA 1 skb->ipvs_property 0-1
HOST_DATA 1 skb->l4_hash 0-1
HOST_DATA 1 skb->len 0-u32max
HOST_DATA 1 skb->mac_header 0-u16max
HOST_DATA 1 skb->mac_len 0-u16max
HOST_DATA 1 skb->mark 0-u32max
HOST_DATA 1 skb->napi_id 0-u32max
HOST_DATA 1 skb->ndisc_nodetype 0-3
HOST_DATA 1 skb->network_header 0-u16max
HOST_DATA 1 skb->nf_skip_egress 0-1
HOST_DATA 1 skb->nf_trace 0-1
HOST_DATA 1 skb->no_fcs 0-1
HOST_DATA 1 skb->nohdr 0-1
HOST_DATA 1 skb->offload_fwd_mark 0-1
HOST_DATA 1 skb->offload_l3_fwd_mark 0-1
HOST_DATA 1 skb->ooo_okay 0-1
HOST_DATA 1 skb->peeked 0-1
HOST_DATA 1 skb->pfmemalloc 0-1
HOST_DATA 1 skb->pkt_type 0-7
HOST_DATA 1 skb->pp_recycle 0-1
HOST_DATA 1 skb->priority 0-u32max
HOST_DATA 1 skb->protocol 0-u16max
HOST_DATA 1 skb->queue_mapping 0-u16max
HOST_DATA 1 skb->redirected 0-1
HOST_DATA 1 skb->remcsum_offload 0-1
HOST_DATA 1 skb->reserved_tailroom 0-u32max
HOST_DATA 1 skb->secmark 0-u32max
HOST_DATA 1 skb->sender_cpu 0-u32max
HOST_DATA 1 skb->skb_iif s32min-s32max
HOST_DATA 1 skb->skb_mstamp_ns 0-u64max
HOST_DATA 1 skb->slow_gro 0-1
HOST_DATA 1 skb->sw_hash 0-1
HOST_DATA 1 skb->tail 0-u32max
HOST_DATA 1 skb->tc_at_ingress 0-1
HOST_DATA 1 skb->tc_depth 0-3
HOST_DATA 1 skb->tc_index 0-u16max
HOST_DATA 1 skb->tc_skip_classify 0-1
HOST_DATA 1 skb->transport_header 0-u16max
HOST_DATA 1 skb->truesize 0-u32max
HOST_DATA 1 skb->tstamp s64min-s64max
HOST_DATA 1 skb->tstamp_type 0-3
HOST_DATA 1 skb->unreadable 0-1
HOST_DATA 1 skb->vlan_all 0-u32max
HOST_DATA 1 skb->vlan_proto 0-u16max
HOST_DATA 1 skb->vlan_tci 0-u16max
HOST_DATA 1 skb->wifi_acked 0-1
HOST_DATA 1 skb->wifi_acked_valid 0-1
LOCK2 sk
LOCK2 0 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_pkt() -> virtio_transport_space_update()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 6012370149383725056
PARAM_VALUE 1 skb->head 4096-ptr_max
PARAM_VALUE 1 skb->head->type 1-2
PARAM_VALUE 1 skb->sk 4096-ptr_max
PARAM_VALUE 1 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 sk 1480
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 1 skb 1
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->_nfct 0-u64max
HOST_DATA 1 skb->_sk_redir 0-u64max
HOST_DATA 1 skb->_skb_refdst 0-u64max
HOST_DATA 1 skb->active_extensions 0-255
HOST_DATA 1 skb->alloc_cpu 0-u16max
HOST_DATA 1 skb->cloned 0-1
HOST_DATA 1 skb->csum 0-u32max
HOST_DATA 1 skb->csum_complete_sw 0-1
HOST_DATA 1 skb->csum_level 0-3
HOST_DATA 1 skb->csum_not_inet 0-1
HOST_DATA 1 skb->csum_offset 0-u16max
HOST_DATA 1 skb->csum_start 0-u16max
HOST_DATA 1 skb->csum_valid 0-1
HOST_DATA 1 skb->data_len 0-u32max
HOST_DATA 1 skb->decrypted 0-1
HOST_DATA 1 skb->dev_scratch 0-u64max
HOST_DATA 1 skb->dst_pending_confirm 0-1
HOST_DATA 1 skb->encap_hdr_csum 0-1
HOST_DATA 1 skb->encapsulation 0-1
HOST_DATA 1 skb->end 0-u32max
HOST_DATA 1 skb->fclone 0-3
HOST_DATA 1 skb->from_ingress 0-1
HOST_DATA 1 skb->hash 0-u32max
HOST_DATA 1 skb->hdr_len 0-u16max
HOST_DATA 1 skb->head_frag 0-1
HOST_DATA 1 skb->ignore_df 0-1
HOST_DATA 1 skb->inner_ipproto 0-255
HOST_DATA 1 skb->inner_mac_header 0-u16max
HOST_DATA 1 skb->inner_network_header 0-u16max
HOST_DATA 1 skb->inner_protocol 0-u16max
HOST_DATA 1 skb->inner_protocol_type 0-1
HOST_DATA 1 skb->inner_transport_header 0-u16max
HOST_DATA 1 skb->ip_summed 0-3
HOST_DATA 1 skb->ipvs_property 0-1
HOST_DATA 1 skb->l4_hash 0-1
HOST_DATA 1 skb->len 0-u32max
HOST_DATA 1 skb->mac_header 0-u16max
HOST_DATA 1 skb->mac_len 0-u16max
HOST_DATA 1 skb->mark 0-u32max
HOST_DATA 1 skb->napi_id 0-u32max
HOST_DATA 1 skb->ndisc_nodetype 0-3
HOST_DATA 1 skb->network_header 0-u16max
HOST_DATA 1 skb->nf_skip_egress 0-1
HOST_DATA 1 skb->nf_trace 0-1
HOST_DATA 1 skb->no_fcs 0-1
HOST_DATA 1 skb->nohdr 0-1
HOST_DATA 1 skb->offload_fwd_mark 0-1
HOST_DATA 1 skb->offload_l3_fwd_mark 0-1
HOST_DATA 1 skb->ooo_okay 0-1
HOST_DATA 1 skb->peeked 0-1
HOST_DATA 1 skb->pfmemalloc 0-1
HOST_DATA 1 skb->pkt_type 0-7
HOST_DATA 1 skb->pp_recycle 0-1
HOST_DATA 1 skb->priority 0-u32max
HOST_DATA 1 skb->protocol 0-u16max
HOST_DATA 1 skb->queue_mapping 0-u16max
HOST_DATA 1 skb->redirected 0-1
HOST_DATA 1 skb->remcsum_offload 0-1
HOST_DATA 1 skb->reserved_tailroom 0-u32max
HOST_DATA 1 skb->secmark 0-u32max
HOST_DATA 1 skb->sender_cpu 0-u32max
HOST_DATA 1 skb->skb_iif s32min-s32max
HOST_DATA 1 skb->skb_mstamp_ns 0-u64max
HOST_DATA 1 skb->slow_gro 0-1
HOST_DATA 1 skb->sw_hash 0-1
HOST_DATA 1 skb->tail 0-u32max
HOST_DATA 1 skb->tc_at_ingress 0-1
HOST_DATA 1 skb->tc_depth 0-3
HOST_DATA 1 skb->tc_index 0-u16max
HOST_DATA 1 skb->tc_skip_classify 0-1
HOST_DATA 1 skb->transport_header 0-u16max
HOST_DATA 1 skb->truesize 0-u32max
HOST_DATA 1 skb->tstamp s64min-s64max
HOST_DATA 1 skb->tstamp_type 0-3
HOST_DATA 1 skb->unreadable 0-1
HOST_DATA 1 skb->vlan_all 0-u32max
HOST_DATA 1 skb->vlan_proto 0-u16max
HOST_DATA 1 skb->vlan_tci 0-u16max
HOST_DATA 1 skb->wifi_acked 0-1
HOST_DATA 1 skb->wifi_acked_valid 0-1
LOCK2 0 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock