Index: kernel/generic/include/synch/syswaitq.h
===================================================================
--- kernel/generic/include/synch/syswaitq.h	(revision 5a5269df4bb8693ab8e38af0622b7fa6365b9535)
+++ kernel/generic/include/synch/syswaitq.h	(revision 924fd6045563b57164334ff57b914673f4d6073e)
@@ -38,4 +38,7 @@
 #include <typedefs.h>
 #include <abi/cap.h>
+#include <cap/cap.h>
+
+extern kobject_ops_t waitq_kobject_ops;
 
 extern void sys_waitq_init(void);