Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/vmw_vsock/af_vsock.c vsock_connectible_sendmsg() -> (struct vsock_transport)->notify_send_post_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->local_addr.svm_port 0-4294967294
PARAM_VALUE 0 vsk->remote_addr.svm_port 0-4294967294
PARAM_VALUE 0 vsk->transport 313939572454838272,4304869436517031936,5599459859400630272,7768179779944185856,8703969711714045952
PARAM_VALUE 0 vsk->transport->module 0
PARAM_VALUE 1 written 0-s64max
PARAM_VALUE 2 data 4315764516295888896
BIT_INFO 0 vsk->peer_shutdown 0x0,0xfffffffe
NOSPEC 1 written
TASK_NOT_RUNNING
USER_DATA 1 written 1-1000000000[c]
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk