L4Re Operating System Framework
Interface and Usage Documentation
|
Description of a single vbus resource. More...
#include <vbus_types.h>
Data Fields | |
l4_uint16_t | type |
Resource type, see l4vbus_resource_type_t. | |
l4_uint16_t | flags |
Flags. | |
l4vbus_paddr_t | start |
Start of resource range. | |
l4vbus_paddr_t | end |
End of resource range (inclusive) | |
l4vbus_device_handle_t | provider |
Device handle of the provider of the resource. | |
l4_uint32_t | id |
Resource ID (4 bytes), usually a 4 letter ASCII name is used. | |
Description of a single vbus resource.
Definition at line 25 of file vbus_types.h.