X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/kernel/fiasco/src/kern/kobject_helper.cpp

diff --git a/kernel/fiasco/src/kern/kobject_helper.cpp b/kernel/fiasco/src/kern/kobject_helper.cpp
index eb84b8871..6964efbbf 100644
--- a/kernel/fiasco/src/kern/kobject_helper.cpp
+++ b/kernel/fiasco/src/kern/kobject_helper.cpp
@@ -2,7 +2,7 @@ INTERFACE:
 
 #include "kobject.h"
 #include "thread.h"
-#include <type_traits>
+#include <cxx/type_traits>
 
 class Kobject_helper_base
 {
@@ -32,7 +32,7 @@ public:
   template< typename... A >
   explicit Kobject_h(A&&... args) : Base(cxx::forward<A>(args)...) {}
 
-  void invoke(L4_obj_ref self, Mword rights, Syscall_frame *f, Utcb *u)
+  void invoke(L4_obj_ref self, L4_fpage::Rights rights, Syscall_frame *f, Utcb *u)
   {
     L4_msg_tag res(no_reply());
     if (EXPECT_TRUE(self.op() & L4_obj_ref::Ipc_send))