4 * \brief Protocol definitions
7 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8 * Alexander Warg <warg@os.inf.tu-dresden.de>,
9 * Björn Döbel <doebel@os.inf.tu-dresden.de>
10 * economic rights: Technische Universität Dresden (Germany)
12 * This file is part of TUD:OS and distributed under the terms of the
13 * GNU General Public License 2.
14 * Please see the COPYING-GPL-2 file for details.
16 * As a special exception, you may use this file as part of a free software
17 * library without restriction. Specifically, if other files instantiate
18 * templates or use macros or inline functions from this file, or you compile
19 * this file and link it with other files to produce an executable, this
20 * file does not by itself cause the resulting executable to be covered by
21 * the GNU General Public License. This exception does not however
22 * invalidate any other reasons why the executable file might be covered by
23 * the GNU General Public License.
27 #include <l4/sys/types.h>
30 * \defgroup api_l4re_protocols L4Re Protocol identifiers
32 * \brief Basic protocol identifiers used for L4Re.
35 namespace L4Re { namespace Protocol {
38 * \ingroup api_l4re_protocols
40 * These protocol IDs are used to distinguish requests for the
41 * different L4Re interfaces. The interfaces use different protocol IDs
42 * to enable objects that realize a set of those interfaces at once.
46 Default = 0, ///< Default protocol, used in message tag
47 Dataspace = 0x4000, ///< ID for data space objects \hideinitializer
48 Namespace, ///< ID for name space objects
49 Parent, ///< ID for parent objects
50 Goos, ///< ID for goos objects
51 Mem_alloc, ///< ID for memory allocator objects
52 Rm, ///< ID for region map objects
53 Event, ///< ID for event channel objects
54 Inhibitor, ///< ID for inhibitor objects
56 Debug = ~0x7fffUL ///< ID for debug objects