kern/thread: add wait channels

1 files changed, 2 insertions, 2 deletions

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;