Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/vmw_vsock/af_vsock.c __vsock_bind() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/vmw_vsock/af_vsock.c vsock_auto_bind() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/vmw_vsock/af_vsock.c vsock_connectible_sendmsg() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/vmw_vsock/af_vsock.c vsock_connectible_sendmsg() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/vmw_vsock/af_vsock.c vsock_dgram_sendmsg() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 addr->svm_cid 0-s32max
USER_DATA 0 addr->svm_cid 0-4294967294[u]
USER_DATA 0 addr->svm_port 0-4294967295[u]
USER_DATA 0 addr->svm_reserved1 0-u16max[u]
UNITS 0 addr unit_byte
USER_PTR 0 addr
LOCK2 sk
HALF_LOCKED2 sk

net/vmw_vsock/af_vsock.c vsock_dgram_sendmsg() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/vmw_vsock/af_vsock.c vsock_listen() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &ls_lock
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

net/vmw_vsock/vmci_transport.c vmci_transport_send_control_pkt() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 listener
HALF_LOCKED2 sk
HALF_LOCKED2 sk

net/vmw_vsock/vmci_transport.c vmci_transport_send_control_pkt() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 listener
HALF_LOCKED2 sk
HALF_LOCKED2 sk

net/vmw_vsock/vmci_transport.c vmci_transport_send_reset() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
LOCK2 sk
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 listener
HALF_LOCKED2 sk

net/vmw_vsock/vmci_transport.c vmci_transport_send_reset() -> vsock_addr_bound()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
LOCK2 sk
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 listener
HALF_LOCKED2 sk