![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
L4-VIRTIO config header, provided in shared data space. More...
#include <virtio.h>
Data Fields | |
| l4_uint32_t | magic |
| magic value (must be 'virt'). | |
| l4_uint32_t | version |
| VIRTIO version. | |
| l4_uint32_t | device |
| device ID | |
| l4_uint32_t | vendor |
| vendor ID | |
| l4_uint32_t | dev_features |
| device features windows selected by device_feature_sel | |
| l4_uint32_t | num_queues |
| number of virtqueues | |
| l4_uint32_t | queues_offset |
| offset of virtqueue config array | |