Index: kernel/generic/include/synch/workqueue.h
===================================================================
--- kernel/generic/include/synch/workqueue.h	(revision 89ea2dc48f26dfcd2aba2a270dac8523cec931c2)
+++ kernel/generic/include/synch/workqueue.h	(revision 2b3dd78e52704a51e22b71513327373cf8f6a614)
@@ -64,5 +64,5 @@
 extern bool workq_global_enqueue(work_t *, work_func_t);
 
-extern struct work_queue * workq_create(const char *);
+extern struct work_queue *workq_create(const char *);
 extern void workq_destroy(struct work_queue *);
 extern bool workq_init(struct work_queue *, const char *);