Searched defs:vq_id (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-2018-10-04/include/virtio/ |
| H A D | virtio_guest.h | 73 static inline errval_t virtio_guest_extend_vring(uint16_t vq_id, argument
|
| /barrelfish-2018-10-04/usr/drivers/virtio/block/ |
| H A D | main_host.c | 43 handle_add(struct virtio_device *vdev, struct capref ring, uint16_t ndesc, uint8_t buf_bits,uint16_t vq_id) argument
|
| /barrelfish-2018-10-04/lib/virtio/guest/ |
| H A D | channel_flounder.c | 112 static errval_t extend_vring(uint16_t vq_id, argument
|
| /barrelfish-2018-10-04/lib/virtio/backends/ |
| H A D | virtio_device_mmio.c | 335 device_notify_virtq(struct virtio_device *dev, uint16_t vq_id) argument
|
| /barrelfish-2018-10-04/lib/virtio/host/ |
| H A D | channel_flounder.c | 172 virtio_add_call__rx(struct virtio_binding *_binding, uint16_t vq_id, uint16_t ndesc, uint8_t has_buffers, struct capref vring) argument
221 virtio_extend_call__rx(struct virtio_binding *_binding, uint16_t vq_id, struct capref vbuf) argument
|
| /barrelfish-2018-10-04/lib/virtio/ |
| H A D | virtqueue_host.c | 267 virtio_vq_host_init_vring(struct virtio_device *vdev, struct capref vring_cap, uint16_t vq_id, uint16_t ndesc, uint8_t has_buffers) argument
|
Completed in 255 milliseconds