19#pragma GCC system_header
21#include <l4/sys/cxx/ipc_basics>
31namespace 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>
51template<
typename OP,
typename C,
typename FLAGS,
typename R,
typename ...ARGS>
53Rpc_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.
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Interface Definition Language.
L4 low-level kernel interface.