L4Re Operating System Framework
Interface and Usage Documentation
|
Virtual hardware devices description. More...
#include <vhw.h>
Data Fields | |
l4_uint32_t | magic |
Magic. | |
l4_uint8_t | version |
Version of the descriptor. | |
l4_uint8_t | count |
Number of entries. | |
l4_uint8_t | pad1 |
padding | |
l4_uint8_t | pad2 |
padding | |
struct l4_vhw_entry | descs [] |
Array of device descriptions. | |
Virtual hardware devices description.