===================================================================
RCS file: /cvs/prex-old/dev/arm/gba/machdep.c,v
retrieving revision 1.1.1.1
retrieving revision 1.1.1.1.2.1
diff -u -r1.1.1.1 -r1.1.1.1.2.1
--- prex-old/dev/arm/gba/machdep.c	2008/06/03 10:38:41	1.1.1.1
+++ prex-old/dev/arm/gba/machdep.c	2008/08/13 17:12:22	1.1.1.1.2.1
@@ -32,6 +32,7 @@
  */
 
 #include <driver.h>
+#include <machdep.h>
 
 /*
  * Set system to suspend power state.
@@ -49,7 +50,9 @@
 {
 
 	irq_lock();
-	printk("The system is halted. You can turn off power.");
+#ifdef DEBUG
+	printf("The system is halted. You can turn off power.");
+#endif
 	for (;;)
 		machine_idle();
 }