]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/kobject.cpp
update
[l4.git] / kernel / fiasco / src / kern / kobject.cpp
index e5b3c86002290ad0f722eabaebf684f69695ce3b..0f88303d43a8c0e9b7e153dddcf04e461433a73b 100644 (file)
@@ -2,7 +2,7 @@ INTERFACE:
 
 #include "lock.h"
 #include "obj_space.h"
-#include <hlist>
+#include <cxx/hlist>
 
 
 class Kobject_mappable
@@ -178,7 +178,7 @@ Kobject::sys_dec_refcnt(L4_msg_tag tag, Utcb const *in, Utcb *out)
 
 PUBLIC
 L4_msg_tag
-Kobject::kobject_invoke(L4_obj_ref, Mword /*rights*/,
+Kobject::kobject_invoke(L4_obj_ref, L4_fpage::Rights /*rights*/,
                         Syscall_frame *f,
                         Utcb const *in, Utcb *out)
 {