diff options
author | AlmuHS <almuhs@github.com> | 2019-04-22 19:59:30 +0200 |
---|---|---|
committer | AlmuHS <almuhs@github.com> | 2019-04-22 19:59:30 +0200 |
commit | d640e7d3436a547091923a02f8dbc051c80aceb5 (patch) | |
tree | 3a753301bbae4d3cb56ea67b317fe45ccf26cee1 | |
parent | 746ddaa3683040c8e87ba7df92c4321b6e8cbad4 (diff) |
add more traces
-rw-r--r-- | kern/startup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/startup.c b/kern/startup.c index 32a38c9b..21212711 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -327,7 +327,7 @@ void cpu_launch_first_thread(thread_t th, int mycpu) startrtclock(); /* needs an active thread */ - printf("clock started in cpu %d\n", mycpu); + printf("clock started in cpu %d\n", cpu_number()); load_context(th); /*NOTREACHED*/ |