No such device or address.
#define __END_DECLS
End section with C types and functions.
L4 compiler related defines.
Object currently busy, try later.
Communication error-range high.
#define L4_CV
Define calling convention.
Communication error-range low.
Message has invalid capability.
l4_error_code_t
L4 error codes.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.