diff options
| -rw-r--r-- | sys/kern/kern_synch.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/kern/kern_synch.c b/sys/kern/kern_synch.c index 17547de..0a8e176 100644 --- a/sys/kern/kern_synch.c +++ b/sys/kern/kern_synch.c @@ -742,7 +742,7 @@ restart: /* * Make a process sleeping on the specified identifier runnable. - * May wake more than one process if a target prcoess is currently + * May wake more than one process if a target process is currently * swapped out. */ void @@ -822,7 +822,7 @@ mi_switch() */ microuptime(&new_switchtime); if (timevalcmp(&new_switchtime, &switchtime, <)) { - printf("microuptime() went backwards (%ld.%06ld -> %ld,%06ld)\n", + printf("microuptime() went backwards (%ld.%06ld -> %ld.%06ld)\n", switchtime.tv_sec, switchtime.tv_usec, new_switchtime.tv_sec, new_switchtime.tv_usec); new_switchtime = switchtime; |
