Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 src 6415842359530004480,6424076409229709312
PARAM_VALUE 1 dst 3743091096150261760,4999850289713147904
DATA_SOURCE 0 src $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 net $2
MEM_ZERO 0 src
MEM_ZERO 1 dst
PREEMPT_ADD <- disables preempt
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]
LOCK2 bh
LOCK2 global &vsock_table_lock