50 enum l4vbus_consts_t {
51 L4VBUS_DEV_NAME_LEN = 64,
52 L4VBUS_MAX_DEPTH = 100,
60 char name[L4VBUS_DEV_NAME_LEN];
Device has child devices.
l4_uint32_t type
Bitfield of supported sub-interfaces, see l4vbus_iface_type_t.
unsigned short int l4_uint16_t
Unsigned 16bit value.
signed long l4_mword_t
Signed machine word.
Common L4 ABI Data Types.
l4_uint32_t id
Resource ID (4 bytes), usually a 4 letter ASCII name is used.
unsigned flags
Flags, see l4vbus_device_flags_t.
Description of a single vbus resource.
l4vbus_paddr_t end
End of resource range (inclusive)
l4vbus_device_handle_t provider
Device handle of the provider of the resource.
Detailed information about a vbus device.
l4vbus_resource_type_t
Description of vbus resource types.
unsigned num_resources
Number of resources for this device.
l4vbus_device_flags_t
Flags describing device properties, see l4vbus_device_t.
l4vbus_paddr_t start
Start of resource range.
I/O port resource (x86 only)
unsigned long l4_addr_t
Address type.
unsigned int l4_uint32_t
Unsigned 32bit value.
l4_uint16_t type
Resource type, see l4vbus_resource_type_t.