L4Re – L4 Runtime Environment
vbus_types.h File Reference

This header file contains descriptions of vbus related data types and constants. More...

#include <l4/sys/types.h>
+ Include dependency graph for vbus_types.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

This header file contains descriptions of vbus related data types and constants.

Definition in file vbus_types.h.

Enumeration Type Documentation

◆ l4vbus_device_flags_t

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.

◆ l4vbus_resource_flags_t

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.

◆ l4vbus_resource_type_t

Description of vbus resource types.

Enumerator
L4VBUS_RESOURCE_INVALID 

Invalid type.

L4VBUS_RESOURCE_IRQ 

Interrupt resource.

L4VBUS_RESOURCE_MEM 

I/O memory resource.

L4VBUS_RESOURCE_PORT 

I/O port resource (x86 only)

L4VBUS_RESOURCE_BUS 

Bus resource.

L4VBUS_RESOURCE_GPIO 

Gpio resource.

L4VBUS_RESOURCE_DMA_DOMAIN 

DMA domain.

L4VBUS_RESOURCE_MAX 

Maximum resource id.

Definition at line 39 of file vbus_types.h.