diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-06-10 17:24:04 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-06-10 17:38:47 +0200 |
| commit | b719ffa6583447ff933fbcf21274b376133cb992 (patch) | |
| tree | 4bd7aaf9767dea632a1338041f0c6fdd0624f867 /kern/work.c | |
| parent | 562904ff8e2f5e40e4be76dc7c4d919a4bda05f8 (diff) | |
Use log functions where appropriate
Diffstat (limited to 'kern/work.c')
| -rw-r--r-- | kern/work.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/kern/work.c b/kern/work.c index 5c33eb77..284b1e28 100644 --- a/kern/work.c +++ b/kern/work.c @@ -17,13 +17,13 @@ #include <assert.h> #include <stddef.h> -#include <stdio.h> #include <kern/bitmap.h> #include <kern/error.h> #include <kern/init.h> #include <kern/kmem.h> #include <kern/list.h> +#include <kern/log.h> #include <kern/macros.h> #include <kern/panic.h> #include <kern/param.h> @@ -374,7 +374,7 @@ work_process(void *arg) if (error) { work_pool_free_id(pool, id); - printf("work: warning: unable to create worker thread\n"); + log_warning("work: unable to create worker thread"); } } } @@ -490,9 +490,9 @@ work_setup(void) work_pool_init(&work_pool_highprio, WORK_INVALID_CPU, WORK_PF_GLOBAL | WORK_PF_HIGHPRIO); - printf("work: threads per pool (per-cpu/global): %u/%u, spare: %u\n", - percpu_var(work_pool_cpu_main.max_threads, 0), - work_pool_main.max_threads, WORK_THREADS_SPARE); + log_info("work: threads per pool (per-cpu/global): %u/%u, spare: %u", + percpu_var(work_pool_cpu_main.max_threads, 0), + work_pool_main.max_threads, WORK_THREADS_SPARE); } void |