1 /* 2 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>, 3 * Alexander Warg <warg@os.inf.tu-dresden.de> 4 * economic rights: Technische Universität Dresden (Germany) 5 * 6 * This file is part of TUD:OS and distributed under the terms of the 7 * GNU General Public License 2. 8 * Please see the COPYING-GPL-2 file for details. 9 * 10 * As a special exception, you may use this file as part of a free software 11 * library without restriction. Specifically, if other files instantiate 12 * templates or use macros or inline functions from this file, or you compile 13 * this file and link it with other files to produce an executable, this 14 * file does not by itself cause the resulting executable to be covered by 15 * the GNU General Public License. This exception does not however 16 * invalidate any other reasons why the executable file might be covered by 17 * the GNU General Public License. 18 */ 19 #include <l4/re/event> 20 #include <l4/sys/cxx/ipc_client> 21 22 L4_RPC_DEF(L4Re::Event::get_buffer); 23 L4_RPC_DEF(L4Re::Event::get_num_streams); 24 L4_RPC_DEF(L4Re::Event::get_stream_info); 25 L4_RPC_DEF(L4Re::Event::get_stream_info_for_id); 26 L4_RPC_DEF(L4Re::Event::get_axis_info); 27 L4_RPC_DEF(L4Re::Event::get_stream_state_for_id); 28 29 30 31