]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/l4re_kernel/server/src/dispatcher.cc
update
[l4.git] / l4 / pkg / l4re_kernel / server / src / dispatcher.cc
index 1ed38c0e3a175ccf9a29e14f00727d4eab06d9d4..006a521f28df6a5f702860d21ead2bf2ea046a33 100644 (file)
@@ -24,7 +24,7 @@
 static Dbg dbg(Dbg::Server, "svr");
 
 int
-Dispatcher::handle_exception(L4::Ipc_iostream &ios)
+Dispatcher::handle_exception(L4::Ipc::Iostream &ios)
 {
   l4_exc_regs_t u = *l4_utcb_exc();
 
@@ -34,7 +34,7 @@ Dispatcher::handle_exception(L4::Ipc_iostream &ios)
 }
 
 int
-Dispatcher::dispatch(l4_umword_t obj, L4::Ipc_iostream &ios)
+Dispatcher::dispatch(l4_umword_t obj, L4::Ipc::Iostream &ios)
 {
   l4_msgtag_t t;
   ios >> t;