L4Re - L4 Runtime Environment
ipc_gate
Go to the documentation of this file.
1 // vi:set ft=cpp: -*- Mode: C++ -*-
6 /*
7  * (c) 2009-2010 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8  * Alexander Warg <warg@os.inf.tu-dresden.de>
9  * economic rights: Technische Universit├Ąt Dresden (Germany)
10  *
11  * This file is part of TUD:OS and distributed under the terms of the
12  * GNU General Public License 2.
13  * Please see the COPYING-GPL-2 file for details.
14  *
15  * As a special exception, you may use this file as part of a free software
16  * library without restriction. Specifically, if other files instantiate
17  * templates or use macros or inline functions from this file, or you compile
18  * this file and link it with other files to produce an executable, this
19  * file does not by itself cause the resulting executable to be covered by
20  * the GNU General Public License. This exception does not however
21  * invalidate any other reasons why the executable file might be covered by
22  * the GNU General Public License.
23  */
24 #pragma once
25 
26 #include <l4/sys/ipc_gate.h>
27 #include <l4/sys/capability>
28 #include <l4/sys/rcv_endpoint>
29 #include <l4/sys/cxx/ipc_iface>
30 
31 namespace L4 {
32 
33 class Thread;
34 
61 class L4_EXPORT Ipc_gate :
62  public Kobject_t<Ipc_gate, Rcv_endpoint, L4_PROTO_KOBJECT,
63  Type_info::Demand_t<1> >
64 {
65 public:
74  l4_msgtag_t, get_infos, (l4_umword_t *label));
75 
77 };
78 
79 }
The C IPC gate interface.
L4 low-level kernel interface.
The C++ Receive endpoint interface.
#define L4_INLINE_RPC_OP(op, res, name, args, attr...)
Define an inline RPC call with specific opcode (type and callable).
Definition: ipc_iface:484
L4::Cap related definitions.
The C++ IPC gate interface.
Definition: ipc_gate:61
List of RPCs typically used for kernel interfaces.
Definition: __typeinfo.h:475
unsigned long l4_umword_t
Unsigned machine word.
Definition: l4int.h:52
Interface Definition Language.
Info operation.
Definition: ipc_gate.h:97
Helper class to create an L4Re interface class that is derived from a single base class...
Definition: __typeinfo.h:759
Message tag data structure.
Definition: types.h:159