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() -> virtio_transport_alloc_skb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4828817304069021696 |
| PARAM_VALUE | 0 | info->flags | 0 |
| PARAM_VALUE | 0 | info->msg | 0 |
| PARAM_VALUE | 0 | info->net | 0 |
| PARAM_VALUE | 0 | info->op | 3 |
| PARAM_VALUE | 0 | info->pkt_len | 0 |
| PARAM_VALUE | 0 | info->reply | 1 |
| PARAM_VALUE | 1 | payload_len | 0 |
| PARAM_VALUE | 2 | zcopy | 0 |
| PARAM_VALUE | 3 | uarg | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | &vsock->rx_lock | ||
| HALF_LOCKED2 | sk |
net/vmw_vsock/virtio_transport_common.c virtio_transport_send_pkt_info() -> virtio_transport_alloc_skb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 933096148223356928,1214254121286111232,4399462766949552128,4757943800766808064,8453333108856565760,8542717714059116544 |
| PARAM_VALUE | 0 | info->flags | 0-3 |
| PARAM_VALUE | 0 | info->msg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | info->op | 1-6 |
| PARAM_VALUE | 0 | info->type | 1-2 |
| PARAM_VALUE | 0 | info->vsk | 4096-ptr_max |
| PARAM_VALUE | 1 | payload_len | 0-65536 |
| BUF_SIZE | 3 | uarg | (-1)-0,16 |
| BUF_SIZE | 3 | uarg | (-1)-0,16 |
| CAPPED_DATA | 1 | payload_len | 1 |
| CAPPED_DATA | 1 | payload_len | 1 |
| DATA_SOURCE | 0 | info | $1 |
| HARD_MAX | 0 | info->op | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 4 | src_cid | 0-s32max |
| USER_DATA | 0 | info->flags | 0-3[c] |
| USER_DATA | 0 | info->msg->msg_iter.count | 0-u64max |
| USER_DATA | 0 | info->msg->msg_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | info->pkt_len | 0-u32max[c] |
| USER_DATA | 1 | payload_len | 0-65536[c] |
| USER_DATA | 6 | dst_cid | 0-u32max[u] |
| USER_DATA | 7 | dst_port | 0-u32max[u] |
| UNITS | 1 | payload_len | unit_byte |
| HALF_LOCKED2 | child | ||
| HALF_LOCKED2 | sk |