===================================================================
RCS file: /cvs/funnyos/arch/testarm/dev/tartc.c,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- funnyos/arch/testarm/dev/tartc.c	2007/11/06 22:57:45	1.5
+++ funnyos/arch/testarm/dev/tartc.c	2007/11/06 23:02:14	1.6
@@ -1,5 +1,5 @@
 /*
- * $Id: tartc.c,v 1.5 2007/11/06 22:57:45 init Exp $
+ * $Id: tartc.c,v 1.6 2007/11/06 23:02:14 init Exp $
  */
 #include <sys/types.h>
 #include <sys/device.h>
@@ -75,7 +75,7 @@
 	 * Set timer frequency.
 	 */
 	if (tartcdd == NULL)
-		panic("can't calibrate not configured timer\n");
+		panic("tartc_sethz: can't calibrate timer: default device not configured\n");
 
 	bus_write_1(tartcdd->td_bushandlep, tartcdd->td_ioaddr + TARTC_OFF_TMRINTRFREQ, hz);
 }