Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vhost/net.c handle_tx_copy() -> get_tx_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->vqs | 4096-ptr_max |
| PARAM_VALUE | 1 | nvq | 4096-ptr_max |
| PARAM_VALUE | 1 | nvq->done_idx | s32min-63,65-s32max |
| PARAM_VALUE | 1 | nvq->sock_hlen | 0,10,12,24 |
| PARAM_VALUE | 2 | msg | 6841281207476211712 |
| PARAM_VALUE | 2 | msg->msg_control | 0,602876650504908800,9010618188788781056 |
| PARAM_VALUE | 2 | msg->msg_control_user | 0,602876650504908800,9010618188788781056 |
| PARAM_VALUE | 2 | msg->msg_controllen | 0,16 |
| PARAM_VALUE | 2 | msg->msg_flags | 64,32832 |
| PARAM_VALUE | 2 | msg->msg_inq | 0 |
| PARAM_VALUE | 2 | msg->msg_iter.__iov | 0,4096-u64max |
| PARAM_VALUE | 2 | msg->msg_iter.bvec | 0,4096-u64max |
| PARAM_VALUE | 2 | msg->msg_name | 0 |
| PARAM_VALUE | 2 | msg->msg_ubuf | 0 |
| PARAM_VALUE | 3 | out | 4761458709489246208 |
| PARAM_VALUE | 4 | in | 8525898231551479808 |
| PARAM_VALUE | 5 | len | 8688069425927626752 |
| PARAM_VALUE | 6 | busyloop_intr | 8502358538121355264 |
| PARAM_VALUE | 6 | *busyloop_intr | 0 |
| PARAM_VALUE | 7 | ndesc | 1295227306477113344 |
| PARAM_VALUE | 7 | *ndesc | 0-s32max |
| BUF_SIZE | 1 | nvq | 19064 |
| DATA_SOURCE | 0 | net | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | nvq->vq.avail_idx | 0-u16max |
| HOST_DATA | 1 | nvq->vq.signalled_used | 0-u16max |
| LOCK2 | &vq->mutex | ||
| TYPE_LOCK | (struct vhost_virtqueue)->mutex |
drivers/vhost/net.c handle_tx_zerocopy() -> get_tx_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->vqs | 4096-ptr_max |
| PARAM_VALUE | 1 | nvq | 4096-ptr_max |
| PARAM_VALUE | 1 | nvq->upend_idx | 0-1023 |
| PARAM_VALUE | 1 | nvq->vq.dev->iotlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | nvq->vq.dev->read_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | nvq->vq.dev->read_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | nvq->vq.dev->read_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | msg | 4386511803419406336 |
| PARAM_VALUE | 2 | msg->msg_control | 0,602876650504908800,9010618188788781056 |
| PARAM_VALUE | 2 | msg->msg_control_user | 0,602876650504908800,9010618188788781056 |
| PARAM_VALUE | 2 | msg->msg_controllen | 0,16 |
| PARAM_VALUE | 2 | msg->msg_flags | 64,32832 |
| PARAM_VALUE | 2 | msg->msg_inq | 0 |
| PARAM_VALUE | 2 | msg->msg_iter.__iov | 0,4096-u64max |
| PARAM_VALUE | 2 | msg->msg_iter.bvec | 0,4096-u64max |
| PARAM_VALUE | 2 | msg->msg_name | 0 |
| PARAM_VALUE | 2 | msg->msg_ubuf | 0 |
| PARAM_VALUE | 3 | out | 4329944484440641536 |
| PARAM_VALUE | 4 | in | 8171485621033492480 |
| PARAM_VALUE | 5 | len | 4057475729543458816 |
| PARAM_VALUE | 6 | busyloop_intr | 2566776662401601536 |
| PARAM_VALUE | 6 | *busyloop_intr | 0 |
| PARAM_VALUE | 7 | ndesc | 3346912657570795520 |
| PARAM_VALUE | 7 | *ndesc | 0-s32max |
| BUF_SIZE | 1 | nvq | 19064 |
| DATA_SOURCE | 0 | net | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | nvq->vq.avail_idx | 0-u16max |
| LOCK2 | &vq->mutex | ||
| TYPE_LOCK | (struct vhost_virtqueue)->mutex |