Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 12 files:
- arch/um/drivers/virtio_uml.c
- drivers/platform/mellanox/mlxbf-tmfifo.c
- drivers/remoteproc/remoteproc_virtio.c, line 174
- drivers/s390/virtio/virtio_ccw.c
- drivers/virtio/virtio_mmio.c
- drivers/virtio/virtio_pci_legacy.c
- drivers/virtio/virtio_pci_modern.c
- drivers/virtio/virtio_ring.c, line 3536
- drivers/virtio/virtio_vdpa.c
- tools/virtio/vhost_net_test.c, line 181
- tools/virtio/virtio_test.c, line 101
- tools/virtio/vringh_test.c
Smatch caller information:
drivers/virtio/virtio_pci_legacy.c del_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_pci_legacy.c setup_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| PARAM_VALUE | 0 | _vq->num_max | 1-u16max |
| BUF_SIZE | 0 | _vq | 64 |
| DATA_SOURCE | 0 | _vq | r vring_create_virtqueue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | _vq->index | 0-u16max |
| HOST_DATA | 0 | _vq->num_free | 1-u32max[c] |
| HOST_DATA | 0 | _vq->num_max | 1-u16max |
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/remoteproc/remoteproc_virtio.c __rproc_virtio_del_vqs() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| PARAM_VALUE | 0 | _vq->priv | 4096-ptr_max |
| CAPPED_DATA | 0 | &_vq->list | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_mmio.c vm_del_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| DATA_SOURCE | 0 | _vq | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vblk->vdev_mutex | ||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_mmio.c vm_setup_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| PARAM_VALUE | 0 | _vq->num_max | 1-u32max |
| BUF_SIZE | 0 | _vq | 64 |
| DATA_SOURCE | 0 | _vq | r vring_create_virtqueue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | _vq->index | 0-u16max |
| HOST_DATA | 0 | _vq->num_free | 1-u32max[c] |
| HOST_DATA | 0 | _vq->num_max | 1-u32max |
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_pci_modern.c del_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_pci_modern.c setup_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| PARAM_VALUE | 0 | _vq->num_max | 1-u16max |
| BUF_SIZE | 0 | _vq | 64 |
| DATA_SOURCE | 0 | _vq | r vring_create_virtqueue |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | _vq->index | 0-u16max |
| HOST_DATA | 0 | _vq->num_free | 1-u32max[c] |
| HOST_DATA | 0 | _vq->num_max | 1-u16max |
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_vdpa.c virtio_vdpa_del_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| DATA_SOURCE | 0 | _vq | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vblk->vdev_mutex | ||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_vdpa.c virtio_vdpa_setup_vq() -> vring_del_virtqueue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| PARAM_VALUE | 0 | _vq->num_max | 1-u16max |
| BUF_SIZE | 0 | _vq | 64 |
| CAPPED_DATA | 0 | _vq->num_max | 1 |
| DATA_SOURCE | 0 | _vq | r vring_create_virtqueue_map |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | _vq->index | 0-u16max |
| HOST_DATA | 0 | _vq->num_free | 1-u16max[c] |
| HOST_DATA | 0 | _vq->num_max | 1-u16max[c] |
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |