diff options
Diffstat (limited to 'sys/kern')
-rw-r--r-- | sys/kern/init_main.c | 6 | ||||
-rw-r--r-- | sys/kern/kern_exec.c | 2 | ||||
-rw-r--r-- | sys/kern/kern_panic.c | 2 |
3 files changed, 5 insertions, 5 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); } } diff --git a/sys/kern/kern_exec.c b/sys/kern/kern_exec.c index c76179a..a1e97be 100644 --- a/sys/kern/kern_exec.c +++ b/sys/kern/kern_exec.c @@ -198,7 +198,7 @@ execv(char *pathname, char **argv, uintptr_t *sp_res) status = loader_load(td->addrsp, bin, &args.auxv, 0, NULL, exec_range); if (status != 0) { /* Well shit */ - KERR("Failed to load new process image\n"); + kprintf("exec: Failed to load new process image\n"); signal_raise(td, SIGSEGV); for (;;); } diff --git a/sys/kern/kern_panic.c b/sys/kern/kern_panic.c index 8b5fbb1..2adbcb9 100644 --- a/sys/kern/kern_panic.c +++ b/sys/kern/kern_panic.c @@ -54,7 +54,7 @@ panic(const char *fmt, ...) va_start(ap, fmt); - kprintf("panic: "); + kprintf(OMIT_TIMESTAMP "panic: "); vkprintf(fmt, &ap); machine_panic(); |