27#include <l4/sys/utcb.h>
C++ interface for capabilities.
Error conditions during IPC.
void throw_ipc_exception(L4::Cap< void > const &o, l4_msgtag_t const &err, l4_utcb_t *utcb)
Throw an L4 IPC error as exception.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
L4 low-level kernel interface.
Message tag data structure.
unsigned has_error() const L4_NOTHROW
Test if flags indicate an error.