16#include <l4/vbus/vbus>
Input/Output stream for IPC [un]marshalling.
unsigned int l4_uint32_t
Unsigned 32bit value.
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.