|
L4Re - L4 Runtime Environment
|
L4-VIRTIO config header, provided in shared data space. More...
#include <virtio.h>
Inherited by L4virtio::Device::Config_hdr.
Collaboration diagram for l4virtio_config_hdr_t: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().