Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virtio/virtio_ring.c virtqueue_map_need_sync() -> vring_dma_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vq | 4096-ptr_max |
drivers/virtio/virtio_ring.c virtqueue_map_page_attrs() -> vring_dma_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/virtio/virtio_ring.c virtqueue_map_sync_single_range_for_cpu() -> vring_dma_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vq | 4096-ptr_max |
drivers/virtio/virtio_ring.c virtqueue_map_sync_single_range_for_device() -> vring_dma_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vq | 4096-ptr_max |
drivers/virtio/virtio_ring.c virtqueue_unmap_page_attrs() -> vring_dma_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/virtio/virtio_ring.c vring_mapping_error() -> vring_dma_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vq | 4096-ptr_max |
| DATA_SOURCE | 0 | vq | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |