]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/rtc/server/src/main.cc
update
[l4.git] / l4 / pkg / rtc / server / src / main.cc
index 22785749c1975809a42d458ec1841c10e5978eda..1b36523c86a332f80d44288920c6f331239c0b96 100644 (file)
@@ -63,11 +63,11 @@ l4rtc_if_get_linux_tsc_scaler_component(l4_uint32_t *scaler)
 class Rtc_dispatcher
 {
 public:
-  int dispatch(l4_umword_t obj, L4::Ipc_iostream &ios);
+  int dispatch(l4_umword_t obj, L4::Ipc::Iostream &ios);
 };
 
 int
-Rtc_dispatcher::dispatch(l4_umword_t, L4::Ipc_iostream &ios)
+Rtc_dispatcher::dispatch(l4_umword_t, L4::Ipc::Iostream &ios)
 {
   l4_msgtag_t t;
   ios >> t;