L4Re - L4 Runtime Environment
|
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'). More... | |
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). More... | |
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::magic |
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 166 of file virtio.h.
Referenced by l4virtio_get_feature(), L4virtio::Svr::Dev_config::set_failed(), and L4virtio::Svr::Dev_config::set_status().