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