Barrelfish
|
Data Fields | |
uint8_t | dev_type |
expected VirtIO type of the device | |
void * | dev_t_st |
pointer to device type specific state | |
uint64_t | features |
VirtIO feature bits supported. | |
struct virtio_backend_arg | backend |
arguments for the backend | |
contains necessary values for the device initialization process