attempt to get some TDs through the HC -> fail :(
[ppcskel.git] / bootmii_ppc.h
index b5210f83bab1d295e608f0bccad179705d5dbde0..4f69d44783df15ab6cb4ccf4c444f977ed25414b 100644 (file)
@@ -118,6 +118,7 @@ void exception_init(void);
 
 void gecko_init(void);
 int printf(const char *fmt, ...);
+void hexdump(void *d, int len);
 
 
 // Debug: blink the tray led.