Changes in kernel/generic/include/ipc/ipcrsc.h [174156fd:fc0de8c] 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 kobject_ops_t phone_kobject_ops;
+
 extern errno_t phone_alloc(task_t *, bool, cap_phone_handle_t *, kobject_t **);
 extern void phone_dealloc(cap_phone_handle_t);