L4Re - L4 Runtime Environment
Go to the documentation of this file.
6 /*
7  * (c) 2015 Alexander Warg <alexander.warg@kernkonzept.com>
8  *
9  * This file is part of TUD:OS and distributed under the terms of the
10  * GNU General Public License 2.
11  * Please see the COPYING-GPL-2 file for details.
12  *
13  * As a special exception, you may use this file as part of a free software
14  * library without restriction. Specifically, if other files instantiate
15  * templates or use macros or inline functions from this file, or you compile
16  * this file and link it with other files to produce an executable, this
17  * file does not by itself cause the resulting executable to be covered by
18  * the GNU General Public License. This exception does not however
19  * invalidate any other reasons why the executable file might be covered by
20  * the GNU General Public License.
21  */
23 #pragma once
31 {
43  L4RE_PROTO_DEBUG = ~0x7fffL
44 };
Reserved ID.
Definition: protocols.h:36
ID for L4Re::Rm RPCs.
Definition: protocols.h:37
ID for L4Re::Dataspace RPCs.
Definition: protocols.h:32
ID for L4Re::Event RPCs.
Definition: protocols.h:38
ID for L4Re::Parent RPCs.
Definition: protocols.h:34
ID for debugging RPCs.
Definition: protocols.h:43
ID for L4Re::Dma_space RPCs.
Definition: protocols.h:40
Definition: protocols.h:30
ID for L4Re::Video::Goos RPCs.
Definition: protocols.h:35
ID for L4Re::Namespace RPCs.
Definition: protocols.h:33
ID for L4Re::Mmio_space.
Definition: protocols.h:41
ID for L4Re::Inhibitor RPCs.
Definition: protocols.h:39