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 | |
l4_uint32_t | status |
Device status register (read-only). | |
l4_uint32_t | cfg_driver_notify_index |
W: Event index to be used for config notifications (device to driver) | |
l4_uint32_t | cfg_device_notify_index |
R: Event index to be used for config notifications (driver to device) | |
l4_uint32_t | cmd |
L4 specific command register polled by the driver iff supported. | |
l4_uint32_t l4virtio_config_hdr_t::status |
Device status register (read-only).
The register must be written using l4virtio_set_status().
must be at offset 0x70 (virtio-mmio)
Definition at line 164 of file virtio.h.
Referenced by L4virtio::Svr::Dev_config::reset_hdr(), L4virtio::Svr::Dev_config::set_device_needs_reset(), and L4virtio::Svr::Dev_config::set_status().