Index: kernel/generic/include/synch/syswaitq.h
===================================================================
--- kernel/generic/include/synch/syswaitq.h	(revision 5a5269df4bb8693ab8e38af0622b7fa6365b9535)
+++ kernel/generic/include/synch/syswaitq.h	(revision fc0de8c33fadd1f6730eb0465b89c7afa861fe56)
@@ -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);