L4 compiler related defines.
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.
int l4vbus_pm_resume(l4_cap_idx_t vbus, l4vbus_device_handle_t handle)
Resume the device.
int l4vbus_pm_suspend(l4_cap_idx_t vbus, l4vbus_device_handle_t handle)
Suspend the device.
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.