Index: kernel/generic/include/synch/workqueue.h
===================================================================
--- kernel/generic/include/synch/workqueue.h	(revision 8a64e81e7083acc3dc69cd56c21cca72dd37ca13)
+++ kernel/generic/include/synch/workqueue.h	(revision 0d567128e8779f20e00b0f9912a328a8bfdaf195)
@@ -9,4 +9,5 @@
 struct work_item;
 struct work_queue;
+typedef struct work_queue work_queue_t;
 
 typedef void (*work_func_t)(struct work_item *);
@@ -15,4 +16,9 @@
 	link_t queue_link;
 	work_func_t func;
+	
+#ifdef CONFIG_DEBUG
+	/* Magic number for integrity checks. */
+	uint32_t cookie;
+#endif 
 } work_t;