Index: kernel/generic/include/ipc/ipcrsc.h
===================================================================
--- kernel/generic/include/ipc/ipcrsc.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision e28175d7eb3aea0200054019deabcae2e8f6cefd)
@@ -40,4 +40,6 @@
 #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);