X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/8fe9942cde59835eb3c3c6936d866dd3305582ef..003b628647705666de261350195da72a38f2c4d2:/l4/pkg/loader/server/src/alloc.h

diff --git a/l4/pkg/loader/server/src/alloc.h b/l4/pkg/loader/server/src/alloc.h
index 1bca49c15..56b11b1db 100644
--- a/l4/pkg/loader/server/src/alloc.h
+++ b/l4/pkg/loader/server/src/alloc.h
@@ -8,10 +8,11 @@
  */
 #pragma once
 
-#include <l4/cxx/ipc_server>
+#include <l4/re/mem_alloc>
+#include <l4/sys/cxx/ipc_epiface>
 #include <l4/cxx/list>
 
-class Allocator : public L4::Server_object
+class Allocator : public L4::Epiface_t<Allocator, L4Re::Mem_alloc>
 {
 private:
   long _sched_prio_limit;
@@ -24,8 +25,8 @@ public:
 
   virtual ~Allocator();
 
-  int dispatch(l4_umword_t obj, L4::Ipc::Iostream &ios);
-  int disp_factory(l4_umword_t, L4::Ipc::Iostream &ios);
+  int op_create(L4::Factory::Rights r, L4::Ipc::Cap<void> &res,
+                long type, L4::Ipc::Varg_list<> &&args);
 
   static Allocator *root_allocator();
 };