1 /* Debuggin defines used by SmartReadArgs */
4 /* Debug output goes to stdout for GCC as debug.lib doesn't seem to be
5 * included in Geek Gadgets' distribution */
6 #include <clib/alib_stdio_protos.h>
10 /* Debug output goes to serial port/sushi debug console */
12 extern void kprintf(char *fmt
,...);