diff options
Diffstat (limited to 'sys/kern/init_main.c')
| -rw-r--r-- | sys/kern/init_main.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c index 5f5e8c3..847f4a6 100644 --- a/sys/kern/init_main.c +++ b/sys/kern/init_main.c @@ -48,11 +48,11 @@ static inline void log_timer(const char *purpose, tmrr_status_t s, const struct timer *tmr) { if (s == TMRR_EMPTY_ENTRY) { - KINFO("%s not yet registered\n", purpose); + kprintf("init_main: %s not yet registered\n", purpose); } else if (tmr->name == NULL) { - KINFO("Nameless %s registered; unknown\n", purpose); + kprintf("init_main: Nameless %s registered; unknown\n", purpose); } else { - KINFO("%s registered: %s\n", purpose, tmr->name); + kprintf("init_main: %s registered: %s\n", purpose, tmr->name); } } |