Index: kernel/generic/include/synch/workqueue.h
===================================================================
--- kernel/generic/include/synch/workqueue.h	(revision 827195897bcb3224e1e2c0e46a9c8649c05bd714)
+++ kernel/generic/include/synch/workqueue.h	(revision 0adfc9d719d68a84939344de82e03e0b39ec9e46)
@@ -37,7 +37,7 @@
 
 #include <adt/list.h>
-#include <proc/thread.h>
 
 /* Fwd decl. */
+struct thread;
 struct work_item;
 struct work_queue;
@@ -76,5 +76,5 @@
 
 extern void workq_after_thread_ran(void);
-extern void workq_before_thread_is_ready(thread_t *);
+extern void workq_before_thread_is_ready(struct thread *);
 
 #endif /* KERN_WORKQUEUE_H_ */
Index: kernel/generic/src/synch/workqueue.c
===================================================================
--- kernel/generic/src/synch/workqueue.c	(revision 827195897bcb3224e1e2c0e46a9c8649c05bd714)
+++ kernel/generic/src/synch/workqueue.c	(revision 0adfc9d719d68a84939344de82e03e0b39ec9e46)
@@ -427,5 +427,5 @@
 }
 
-/** Adds a function to be invoked in a separate thread; may blocking. 
+/** Adds a function to be invoked in a separate thread; may block. 
  * 
  * While the workq_enqueue() is unlikely to block, it may do so if too