Barrelfish
|
Data Fields | |
uint8_t | dev_type |
VirtIO device type. | |
uint8_t | dev_status |
VirtIO device status flags. | |
void * | dev_t_st |
pointer to device type specific state | |
uint64_t | features |
negotiated VirtIO features | |
uint64_t | device_features |
supported features by the device | |
uint64_t | driver_features |
supported features by the driver | |
represents a virtio device, this data structure is only valid with the backend specific extentions and should not be allocated directly