Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/vmw_vsock/hyperv_transport.c hvs_do_close_lock_held() -> vsock_remove_sock()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->close_work_scheduled 0
PARAM_VALUE 0 vsk->transport 0,4096-ptr_max
BUF_SIZE 0 vsk (-1),1480
BUF_SIZE 0 vsk (-1),1480
DATA_SOURCE 0 vsk $0
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &pool->lock

net/vmw_vsock/hyperv_transport.c hvs_release() -> vsock_remove_sock()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->transport 313939572454838272,4304869436517031936,5599459859400630272,7768179779944185856,8703969711714045952
BUF_SIZE 0 vsk (-1),1480
BUF_SIZE 0 vsk (-1),1480
DATA_SOURCE 0 vsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vsk->remote_addr.svm_cid 0-u32max[u]
USER_DATA 0 vsk->remote_addr.svm_port 0-u32max[u]
USER_DATA 0 vsk->remote_addr.svm_reserved1 0-u16max[u]
HALF_LOCKED2 sk

net/vmw_vsock/af_vsock.c __vsock_release() -> vsock_remove_sock()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->transport 0
BUF_SIZE 0 vsk (-1),1480
BUF_SIZE 0 vsk (-1),1480
DATA_SOURCE 0 vsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vsk unit_byte
LOCK2 sk
HALF_LOCKED2 sk

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_connected() -> vsock_remove_sock()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->bound_table.prev 4096-ptr_max
PARAM_VALUE 0 vsk->close_work_scheduled 0
PARAM_VALUE 0 vsk->connected_table.next 4096-ptr_max
PARAM_VALUE 0 vsk->connected_table.prev 4096-ptr_max
PARAM_VALUE 0 vsk->sk.__sk_common.skc_state 11
PARAM_VALUE 0 vsk->sk.ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 vsk->sk.ns_tracker->dead 0-1
PARAM_VALUE 0 vsk->sk.ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 vsk->sk.sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 vsk->sk.sk_rcu.func 1-u64max
PARAM_VALUE 0 vsk->sk.sk_rcu.next 0
PARAM_VALUE 0 vsk->sk.sk_reuseport_cb->rcu.next 0
PARAM_VALUE 0 vsk->sk.sk_state_change 4096-ptr_max
PARAM_VALUE 0 vsk->trans 4096-ptr_max
PARAM_VALUE 0 vsk->trans->chan->inbound.pkt_buffer->flags 0-u16max
PARAM_VALUE 0 vsk->trans->chan->inbound.pkt_buffer->len8 0-u16max
PARAM_VALUE 0 vsk->trans->chan->inbound.pkt_buffer->offset8 2-u16max
PARAM_VALUE 0 vsk->trans->chan->inbound.pkt_buffer->type 0-u16max
PARAM_VALUE 0 vsk->trans->recv_data_len 0-4088
PARAM_VALUE 0 vsk->trans->recv_data_off 0
PARAM_VALUE 0 vsk->trans->recv_desc 0
PARAM_VALUE 0 vsk->trans->recv_desc->flags 0-u16max
PARAM_VALUE 0 vsk->trans->recv_desc->len8 0-u16max
PARAM_VALUE 0 vsk->trans->recv_desc->offset8 2-u16max
PARAM_VALUE 0 vsk->trans->recv_desc->type 0-u16max
PARAM_VALUE 0 vsk->trans->rx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vsk->trans->rx_queue.qlen 0-4294967295
PARAM_VALUE 0 vsk->trans->vsk->peer_shutdown 0,2-4294967295
PARAM_VALUE 0 vsk->transport 0,4096-ptr_max
PARAM_VALUE 0 vsk->transport->module 0
BUF_SIZE 0 vsk 1480
BUF_SIZE 0 vsk 1480
CAPPED_DATA 0 vsk->sk.__sk_common.skc_net.net 1
CAPPED_DATA 0 vsk->trans->buf_alloc 1
CAPPED_DATA 0 vsk->trans->rx_queue.next 1
DATA_SOURCE 0 vsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_connected() -> vsock_remove_sock()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->transport 0,4096-ptr_max
PARAM_VALUE 0 vsk->transport->module 0
BUF_SIZE 0 vsk 1480
BUF_SIZE 0 vsk 1480
DATA_SOURCE 0 vsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock

net/vmw_vsock/virtio_transport_common.c virtio_transport_remove_sock() -> vsock_remove_sock()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->trans 4096-ptr_max
PARAM_VALUE 0 vsk->transport 0,4096-ptr_max
DATA_SOURCE 0 vsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vsk->remote_addr.svm_cid 0-u32max[u]
USER_DATA 0 vsk->remote_addr.svm_port 0-u32max[u]
USER_DATA 0 vsk->remote_addr.svm_reserved1 0-u16max[u]
HALF_LOCKED2 sk

net/vmw_vsock/vmci_transport.c vmci_transport_release() -> vsock_remove_sock()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->transport 313939572454838272,4304869436517031936,5599459859400630272,7768179779944185856,8703969711714045952
BUF_SIZE 0 vsk (-1),1480
BUF_SIZE 0 vsk (-1),1480
DATA_SOURCE 0 vsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vsk->remote_addr.svm_cid 0-u32max[u]
USER_DATA 0 vsk->remote_addr.svm_port 0-u32max[u]
USER_DATA 0 vsk->remote_addr.svm_reserved1 0-u16max[u]
HALF_LOCKED2 sk