#include "lock.h"
#include "obj_space.h"
-#include <hlist>
+#include <cxx/hlist>
class Kobject_mappable
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)
{