Update

[l4.git] / l4 / pkg / l4re-core / l4re / lib / src / event.cc

diff --git a/l4/pkg/l4re-core/l4re/lib/src/event.cc b/l4/pkg/l4re-core/l4re/lib/src/event.cc
new file mode 100644 (file)
index 0000000..ad0374f
--- /dev/null
+++ b/l4/pkg/l4re-core/l4re/lib/src/event.cc
@@ -0,0 +1,30 @@
+/*
+ * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ *               Alexander Warg <warg@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
+ * This file is part of TUD:OS and distributed under the terms of the
+ * GNU General Public License 2.
+ * Please see the COPYING-GPL-2 file for details.
+ *
+ * As a special exception, you may use this file as part of a free software
+ * library without restriction.  Specifically, if other files instantiate
+ * templates or use macros or inline functions from this file, or you compile
+ * this file and link it with other files to produce an executable, this
+ * file does not by itself cause the resulting executable to be covered by
+ * the GNU General Public License.  This exception does not however
+ * invalidate any other reasons why the executable file might be covered by
+ * the GNU General Public License.
+ */
+#include <l4/re/event>
+#include <l4/sys/cxx/ipc_client>
+
+L4_RPC_DEF(L4Re::Event::get_buffer);
+L4_RPC_DEF(L4Re::Event::get_num_streams);
+L4_RPC_DEF(L4Re::Event::get_stream_info);
+L4_RPC_DEF(L4Re::Event::get_stream_info_for_id);
+L4_RPC_DEF(L4Re::Event::get_axis_info);
+L4_RPC_DEF(L4Re::Event::get_stream_state_for_id);
+
+
+