19 #pragma GCC system_header
21 #include <l4/sys/cxx/ipc_basics>
31 namespace L4 {
namespace Ipc {
namespace Msg {
43 #define L4_RPC_DEF(name) \
44 template struct L4::Ipc::Msg::Rpc_call \
45 <name##_t, name##_t::class_type, name##_t::ipc_type, name##_t::flags_type>
51 template<
typename OP,
typename C,
typename FLAGS,
typename R,
typename ...ARGS>
53 Rpc_call<OP, C, R (ARGS...), FLAGS>::
56 return Rpc_inline_call<OP, C, R (ARGS...), FLAGS>::call(cap, a..., utcb);
Type information handling.
C++ interface for capabilities.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Interface Definition Language.
L4 low-level kernel interface.