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 /*
11 * Message handler/dispatcher
12 */
13
14 #include "debug.h"
15 #include "dispatcher.h"
16 #include "globals.h"
17 #include "region.h"
18
19 #include <l4/sys/cxx/ipc_epiface>
20
21 static Dbg dbg(Dbg::Server, "svr");
22
23 l4_msgtag_t
dispatch(l4_msgtag_t t,l4_umword_t obj,l4_utcb_t * utcb)24 Dispatcher::dispatch(l4_msgtag_t t, l4_umword_t obj, l4_utcb_t *utcb)
25 {
26 dbg.printf("request: tag=0x%lx proto=%ld obj=0x%lx\n", t.raw, t.label(), obj);
27 return L4::Ipc::Dispatch<Region_map>::f(Global::local_rm.get(), t, obj, utcb);
28 }
29