Changes in kernel/generic/include/ipc/ipcrsc.h [87e7a18:eadaeae8] in mainline

File:

• kernel/generic/include/ipc/ipcrsc.h (modified) (1 diff)

kernel/generic/include/ipc/ipcrsc.h

@@ -40 +40 @@
 #include <cap/cap.h>
 
-extern errno_t phone_alloc(task_t *, bool, cap_handle_t *, kobject_t **);
-extern void phone_dealloc(cap_handle_t);
+extern errno_t phone_alloc(task_t *, bool, cap_phone_handle_t *, kobject_t **);
+extern void phone_dealloc(cap_phone_handle_t);
 
 #endif