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);
L4 low-level kernel interface.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Type information handling.
Interface Definition Language.
C++ interface for capabilities.