From e69a4c4c3ca62d816bb4542792bcc741a7360af2 Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Wed, 8 Feb 2017 21:58:38 +0100
Subject: kern/thread: add wait channels

---
 kern/work.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kern/work.c')

diff --git a/kern/work.c b/kern/work.c
index 6c798fbb..3ba6d2b2 100644
--- a/kern/work.c
+++ b/kern/work.c
@@ -315,7 +315,7 @@ work_process(void *arg)
             pool->nr_available_threads++;
 
             do {
-                thread_sleep(lock);
+                thread_sleep(lock, pool, "work_spr");
             } while (pool->manager != NULL);
 
             list_remove(&self->node);
@@ -351,7 +351,7 @@ work_process(void *arg)
             pool->manager = self;
 
             do {
-                thread_sleep(lock);
+                thread_sleep(lock, pool, "work_mgr");
             } while (work_pool_nr_works(pool) == 0);
 
             pool->manager = NULL;
-- 
cgit v1.2.3