L4Re Operating System Framework
Interface and Usage Documentation
|
L4-VIRTIO config header, provided in shared data space. More...
#include <virtio.h>
Inherited by L4virtio::Device::Config_hdr.
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 | |