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