Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/vmw_vsock/af_vsock.c vsock_find_connected_socket() -> vsock_find_connected_socket_net()

Type Parameter Key Value
PARAM_VALUE 0 src 6424076409229709312
PARAM_VALUE 0 src->svm_family 40
PARAM_VALUE 1 dst 3743091096150261760
PARAM_VALUE 1 dst->svm_family 40
PARAM_VALUE 2 net 0
DATA_SOURCE 0 src $0
DATA_SOURCE 1 dst $1
MEM_ZERO 0 src
MEM_ZERO 1 dst
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 src->svm_cid 0
USER_DATA 0 src->svm_port 0[u]
USER_DATA 1 dst->svm_cid 0
USER_DATA 1 dst->svm_port 0[u]

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

Type Parameter Key Value
PARAM_VALUE 0 src 6415842359530004480
PARAM_VALUE 0 src->svm_family 40
PARAM_VALUE 1 dst 4999850289713147904
PARAM_VALUE 1 dst->svm_family 40
DATA_SOURCE 2 net $2
MEM_ZERO 0 src
MEM_ZERO 1 dst
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock