Barrelfish
|
Data Fields | |
struct virtio_buffer ** | buf_stack |
array of virtio_buffers | |
uint16_t | buf_size |
size of a buffer | |
uint16_t | buf_count |
the number of buffers | |
uint16_t | top |
pointer to the top slot | |
lpaddr_t | offset |
the offset into the cap | |
struct capref | cap |
frame capability backing this allocator | |
struct virtio_device * | queue |
the VirtIO device this allocator belongs to | |
library internal representation of a buffer allocator