L4 compiler related defines.
unsigned char l4_uint8_t
Unsigned 8bit value.
unsigned short int l4_uint16_t
Unsigned 16bit value.
unsigned long l4_cap_idx_t
Capability selector type.
#define __END_DECLS
End section with C types and functions.
#define L4_CV
Define calling convention.
#define __BEGIN_DECLS
Start section with C types and functions.
Common L4 ABI Data Types.
This header file contains descriptions of vbus related data types and constants.
l4_mword_t l4vbus_device_handle_t
Device handle for a device on the vbus.