#ifndef __IOPDEBUG_H__
#define __IOPDEBUG_H__

#include <tamtypes.h>

void __putc(u8 c);
void __puts(u8 *s);
void __printf(char *fmt, ...);


#endif /* __IOPDEBUG_H__ */