2 * This file is licensed under the terms of the GNU General Public
3 * License version 2. This program is licensed "as is" without any
4 * warranty of any kind, whether express or implied.
7 #define UART0_PHYS_BASE (0xf1000000 + 0x12000)
9 #define UART_THR ((volatile unsigned char *)(UART0_PHYS_BASE + 0x0))
10 #define UART_LSR ((volatile unsigned char *)(UART0_PHYS_BASE + 0x14))
14 static inline void putc(const char c)
18 for (i = 0; i < 0x1000; i++) {
19 /* Transmit fifo not full? */
20 if (*UART_LSR & LSR_THRE)
27 static inline void flush(void)
34 #define arch_decomp_setup()