Barrelfish
|
Data Fields | |
struct virtio_buffer_allocator * | a |
pointer to the allocator | |
enum virtio_buffer_state | state |
state of this buffer | |
lpaddr_t | paddr |
physical address of the buffer | |
void * | buf |
mapped virtual address of the buffer | |
size_t | length |
size of this buffer | |
struct virtio_buffer_list * | lhead |
pointer to the buffer list head | |
struct virtio_buffer * | next |
pointer to the next buffer in the list | |
struct virtio_buffer * | prev |
pointer to the previous next field | |
represents a VirtIO buffer to be used