Index: kernel/generic/src/synch/workqueue.c
===================================================================
--- kernel/generic/src/synch/workqueue.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/src/synch/workqueue.c	(revision 64532a970f3247a33dafe22f848eaf9f61ea730f)
@@ -918,5 +918,5 @@
 {
 	nonblock_adder_t *info = arg;
-	struct work_queue *workq;
+	struct work_queue *workq = NULL;
 
 	while (dequeue_add_req(info, &workq)) {