--- src/sys/kern/kern_clock.c	2007/04/30 07:18:53	1.57
+++ src/sys/kern/kern_clock.c	2007/06/24 17:37:35	1.58
@@ -765,7 +765,7 @@ tvtohz_high(struct timeval *tv)
 			sec++;
 			usec -= 1000000;
 		}
-		kprintf("tvotohz: negative time difference %ld sec %ld usec\n",
+		kprintf("tvtohz: negative time difference %ld sec %ld usec\n",
 		       sec, usec);
 #endif
 		ticks = 1;