#ifndef __IOPDEBUG_H__
#define __IOPDEBUG_H__
#include <tamtypes.h>
void __putc(u8 c);
void __puts(u8 *s);
void __printf(char *fmt, ...);
#endif /* __IOPDEBUG_H__ */