Searched refs:vring_cap (Results 1 - 5 of 5) sorted by relevance
/barrelfish-2018-10-04/usr/drivers/virtio/block/ |
H A D | device.c | 115 struct capref vring_cap; local 117 virtio_buffer_alloc_get_cap(blk->alloc, &vring_cap, &offset); 128 vring_cap, 142 vring_cap,
|
/barrelfish-2018-10-04/lib/virtio/ |
H A D | virtqueue_host.c | 56 struct capref vring_cap; ///< capability of the vring data structure member in struct:virtqueue_host 260 * \param vring_cap capability to be used for the vring 268 struct capref vring_cap, 276 err = frame_identify(vring_cap, &id); 295 vring_cap, 307 vqh->vring_cap = vring_cap; 325 mi->cap = vring_cap; 349 * \param vring_cap capability to be used for the vring 355 struct capref vring_cap, 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 [all...] |
H A D | virtqueue.c | 55 struct capref vring_cap; ///< capability of the vring data structure member in struct:virtqueue 242 struct capref vring_cap; local 244 err = frame_alloc(&vring_cap, size, &framesize); 253 err = virtio_virtqueue_alloc_with_caps(setup, vring_cap, vq); 255 cap_destroy(vring_cap); 269 * \param vring_cap capability to be used for the vring 275 struct capref vring_cap, 296 assert(!capref_is_null(vring_cap)); 299 err = frame_identify(vring_cap, &id); 323 err = vspace_map_one_frame(&vring_addr, vring_mem_size, vring_cap, NUL 274 virtio_virtqueue_alloc_with_caps(struct virtqueue_setup *setup, struct capref vring_cap, struct virtqueue **ret_vq) argument [all...] |
/barrelfish-2018-10-04/include/virtio/ |
H A D | virtqueue_host.h | 54 * \param vring_cap capability to be used for the vring 62 struct capref vring_cap,
|
H A D | virtqueue.h | 106 * \param vring_cap capability to be used for the vring 112 struct capref vring_cap,
|
Completed in 52 milliseconds