2008-02-03 21:41:39 +01:00
|
|
|
#ifndef AT91_DBGU_H_
|
|
|
|
#define AT91_DBGU_H_
|
|
|
|
|
|
|
|
void at91_dbgu_init(void);
|
|
|
|
|
|
|
|
void at91_dbgu_putc(char c);
|
|
|
|
void at91_dbgu_puts(const char *p);
|
|
|
|
int at91_dbgu_write(void *base, const char *buf, size_t len);
|
|
|
|
|
2008-06-23 15:33:07 +02:00
|
|
|
#endif /* AT91_DBGU_H_ */
|