Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/vmw_vsock/af_vsock.c vsock_find_bound_socket() -> vsock_find_bound_socket_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 3743091096150261760,7609936931568771072 |
| PARAM_VALUE | 0 | addr->svm_family | 40 |
| PARAM_VALUE | 1 | net | 0 |
| DATA_SOURCE | 0 | addr | $0 |
| NOSPEC | 0 | addr->svm_port | |
| MEM_ZERO | 0 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr->svm_cid | 0 |
| USER_DATA | 0 | addr->svm_port | 0[u] |
net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_pkt() -> vsock_find_bound_socket_net()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4999850289713147904 |
| PARAM_VALUE | 0 | addr->svm_family | 40 |
| DATA_SOURCE | 1 | net | $2 |
| MEM_ZERO | 0 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | &vsock->rx_lock |