Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/vhost/vsock.c, line 813
- net/vmw_vsock/af_vsock.c, line 474
- net/vmw_vsock/virtio_transport.c
- net/vmw_vsock/vmci_transport.c, line 895
Smatch caller information:
net/vmw_vsock/virtio_transport.c virtio_vsock_event_handle() -> vsock_for_each_connected_socket()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 4304869436517031936 |
| NOCHECK_CALL | |||
| LOCK2 | &vsock->event_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct virtio_vsock)->event_lock |
net/vmw_vsock/virtio_transport.c virtio_vsock_vqs_del() -> vsock_for_each_connected_socket()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 4304869436517031936 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &the_virtio_vsock_mutex | ||
| HALF_LOCKED2 | &_d->mutex |
drivers/vhost/vsock.c vhost_vsock_dev_release() -> vsock_for_each_connected_socket()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 313939572454838272 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/vmw_vsock/vmci_transport.c vmci_transport_qp_resumed_cb() -> vsock_for_each_connected_socket()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 8703969711714045952 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &qp_guest_endpoints.mutex |