update

[l4.git] / 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 eb84b887109c890bde8d4434f9b8dd5dd4e18ec3..6964efbbf16278c4a29153610b697140d195a707 100644 (file)
--- 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))