Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/s390/virtio/virtio_ccw.c, line 465
- drivers/virtio/virtio_mmio.c, line 284
- drivers/virtio/virtio_pci_modern.c, line 678
- drivers/virtio/virtio_ring.c, line 3553
- drivers/virtio/virtio_vdpa.c, line 107
Smatch caller information:
drivers/virtio/virtio_mmio.c vm_notify_with_data() -> vring_notification_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| DATA_SOURCE | 0 | _vq | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | _vq->num_free |
drivers/virtio/virtio_pci_modern.c vp_notify_with_data() -> vring_notification_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | _vq | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | _vq->num_free |
drivers/virtio/virtio_vdpa.c virtio_vdpa_notify_with_data() -> vring_notification_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| DATA_SOURCE | 0 | _vq | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | _vq->num_free |