Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/vmw_vsock/virtio_transport_common.c virtio_transport_reset_no_sock() -> (struct virtio_transport)->send_pkt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->head | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->head->buf_alloc | 0 |
| PARAM_VALUE | 0 | skb->head->dst_cid | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->dst_port | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->flags | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->fwd_cnt | 0 |
| PARAM_VALUE | 0 | skb->head->len | 0-65536 |
| PARAM_VALUE | 0 | skb->head->op | 1-6 |
| PARAM_VALUE | 0 | skb->head->src_cid | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->src_port | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->type | 0-u16max |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| DATA_SOURCE | 0 | skb | r virtio_transport_alloc_skb |
| DATA_SOURCE | 1 | net | $2 |
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | &vsock->rx_lock | ||
| HALF_LOCKED2 | sk |
net/vmw_vsock/virtio_transport_common.c virtio_transport_send_pkt_info() -> (struct virtio_transport)->send_pkt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->head | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->head->buf_alloc | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->dst_cid | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->dst_port | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->flags | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->fwd_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->len | 0-65536 |
| PARAM_VALUE | 0 | skb->head->op | 1-6 |
| PARAM_VALUE | 0 | skb->head->src_cid | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->src_port | 0-4294967295 |
| PARAM_VALUE | 0 | skb->head->type | 0-u16max |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| DATA_SOURCE | 0 | skb | r virtio_transport_alloc_skb |
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len | |
| HALF_LOCKED2 | child | ||
| HALF_LOCKED2 | sk |