L4Re – L4 Runtime Environment
|
This header file contains descriptions of vbus related data types and constants. More...
#include <l4/sys/types.h>
Go to the source code of this file.
Data Structures | |
struct | l4vbus_resource_t |
Description of a single vbus resource. More... | |
struct | l4vbus_device_t |
Detailed information about a vbus device. More... | |
Enumerations | |
enum | l4vbus_resource_type_t { L4VBUS_RESOURCE_INVALID = 0 , L4VBUS_RESOURCE_IRQ , L4VBUS_RESOURCE_MEM , L4VBUS_RESOURCE_PORT , L4VBUS_RESOURCE_BUS , L4VBUS_RESOURCE_GPIO , L4VBUS_RESOURCE_DMA_DOMAIN , L4VBUS_RESOURCE_MAX } |
Description of vbus resource types. More... | |
enum | l4vbus_resource_flags_t { L4VBUS_RESOURCE_F_MEM_MMIO_READ = 0x2000 , L4VBUS_RESOURCE_F_MEM_MMIO_WRITE = 0x4000 } |
Description of vbus resource flags. More... | |
enum | l4vbus_device_flags_t { L4VBUS_DEVICE_F_CHILDREN = 0x10 } |
Flags describing device properties, see l4vbus_device_t. More... | |
This header file contains descriptions of vbus related data types and constants.
Definition in file vbus_types.h.
Flags describing device properties, see l4vbus_device_t.
Enumerator | |
---|---|
L4VBUS_DEVICE_F_CHILDREN | Device has child devices. |
Definition at line 81 of file vbus_types.h.
Description of vbus resource flags.
At the moment these flags are mostly place holders as the IO server does not return any resource flag at all. These two flags were introduced for custom servers implementing the vbus protocol.
Enumerator | |
---|---|
L4VBUS_RESOURCE_F_MEM_MMIO_READ | Reading needs to be performed using the MMIO space protocol. |
L4VBUS_RESOURCE_F_MEM_MMIO_WRITE | Writing needs to be performed using the MMIO space protocol. |
Definition at line 56 of file vbus_types.h.
Description of vbus resource types.
Definition at line 39 of file vbus_types.h.