Index: kernel/generic/include/ipc/ipcrsc.h
===================================================================
--- kernel/generic/include/ipc/ipcrsc.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision ac5c37cde62fcac7beb25a3fb1bc581dd675d399)
@@ -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);