L4Re Operating System Framework
Interface and Usage Documentation
|
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... | |
Typedefs | |
typedef l4_mword_t | l4vbus_device_handle_t |
Device handle for a device on the vbus. | |
typedef l4_addr_t | l4vbus_paddr_t |
Address of resources on the vbus. | |
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_R = 0x1 , L4VBUS_RESOURCE_F_MEM_W = 0x2 , 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 82 of file vbus_types.h.
Description of vbus resource flags.
Definition at line 53 of file vbus_types.h.
Description of vbus resource types.
Definition at line 41 of file vbus_types.h.