vsock_addr_init identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/net/vsock_addr.h, line 13 (as a prototype)

Defined in 1 files as a function:

net/vmw_vsock/vsock_addr.c, line 14 (as a function)

Referenced in 5 files:

Smatch caller information:

net/vmw_vsock/hyperv_transport.c hvs_addr_init() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	1	cid	u32max
DATA_SOURCE	0	addr	$0
DATA_SOURCE	2	port	r get_port_by_srv_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		sk

net/vmw_vsock/hyperv_transport.c hvs_open_connection() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	1	cid	2
PARAM_VALUE	2	port	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		sk

net/vmw_vsock/af_vsock.c __vsock_bind_connectible() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	5702672802194993152
CAPPED_DATA	1	cid	1
NOSPEC	1	cid
NOSPEC	1	cid
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	cid	0-4294967294[c]
USER_DATA	2	port	0-u32max[u]
LOCK2		bh
LOCK2		global &vsock_table_lock
HALF_LOCKED2		sk

net/vmw_vsock/af_vsock.c __vsock_bind_connectible() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	0	addr->svm_port	u32max
PARAM_VALUE	2	port	0,1024-4294967294
FUZZY_MAX	2	port	0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	cid	0-u32max
USER_DATA	2	port	0[u]
LOCK2		bh
LOCK2		global &vsock_table_lock
HALF_LOCKED2		sk

net/vmw_vsock/af_vsock.c __vsock_create() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	1	cid	u32max
PARAM_VALUE	2	port	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		parent

net/vmw_vsock/af_vsock.c __vsock_create() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	1	cid	u32max
PARAM_VALUE	2	port	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		parent

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

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4418007549715124224
PARAM_VALUE	1	cid	u32max
PARAM_VALUE	2	port	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		sk

net/vmw_vsock/af_vsock.c vsock_dgram_connect() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	1	cid	u32max
PARAM_VALUE	2	port	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		sk

net/vmw_vsock/af_vsock.c vsock_sk_destruct() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	1	cid	u32max
PARAM_VALUE	2	port	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/vmw_vsock/af_vsock.c vsock_sk_destruct() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	1	cid	u32max
PARAM_VALUE	2	port	u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/vmw_vsock/vsock_addr.c vsock_addr_unbind() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	1	cid	u32max
PARAM_VALUE	2	port	u32max
DATA_SOURCE	0	addr	$0
NOCHECK_CALL

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_listen() -> vsock_addr_init()

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

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_listen() -> vsock_addr_init()

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	6415842359530004480
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		&vsock->rx_lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4999850289713147904
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&vq->mutex
HALF_LOCKED2		&vsock->rx_lock

net/vmw_vsock/vmci_transport.c vmci_transport_dgram_bind() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4096-ptr_max
PARAM_VALUE	0	addr->svm_port	u32max
CAPPED_DATA	1	cid	1
NOSPEC	1	cid
NOSPEC	1	cid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	cid	0-4294967294[c]
HALF_LOCKED2		sk

net/vmw_vsock/vmci_transport.c vmci_transport_dgram_dequeue() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	1-u64max
BUF_SIZE	0	addr	(-1)-0,12,128
BUF_SIZE	0	addr	(-1)-0,12,128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	addr	unit_byte

net/vmw_vsock/vmci_transport.c vmci_transport_get_pending() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	6735991658515537920
NOCHECK_CALL
LOCK2		listener
HALF_LOCKED2		&pool->lock

net/vmw_vsock/vmci_transport.c vmci_transport_packet_get_addresses() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	4696400307737489408
DATA_SOURCE	0	addr	$1
NOCHECK_CALL
LOCK2		&pool->lock
LOCK2		sk

net/vmw_vsock/vmci_transport.c vmci_transport_packet_get_addresses() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	1774029103540424704
DATA_SOURCE	0	addr	$2
NOCHECK_CALL
LOCK2		&pool->lock
LOCK2		sk

net/vmw_vsock/vmci_transport.c vmci_transport_recv_listen() -> vsock_addr_init()

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

net/vmw_vsock/vmci_transport.c vmci_transport_recv_listen() -> vsock_addr_init()

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

net/vmw_vsock/vmci_transport.c vmci_transport_recv_stream_cb() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	6424076409229709312
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	cid	0-u32max[u]
USER_DATA	2	port	0-u32max[u]

net/vmw_vsock/vmci_transport.c vmci_transport_recv_stream_cb() -> vsock_addr_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	addr	3743091096150261760
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	cid	0-u32max[u]
USER_DATA	2	port	0-u32max[u]

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

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