4 * A driver for the DBGU serial unit of the Atmel AT91 series.
6 * Copyright (c) 2009 Tran Duy Khanh. All rights reserved.
8 * This program is free software; you can redistribute it and/or modify it
9 * under the terms of the GNU General Public License as published by the
10 * Free Software Foundation; either version 2, or (at your option) any
13 * This program is distributed in the hope that it will be useful, but
14 * WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * General Public License for more details.
19 #ifndef __AT91_DBGU_H__
20 #define __AT91_DBGU_H__
22 void at91_dbgu_init(void);
23 int at91_dbgu_putchar(int ch);
24 int at91_dbgu_write(int file, const char *ptr, int len);
25 void at91_dbgu_init_printf(void);
27 #endif /* __AT91_DBGU_H__ */