1 /*
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.
5  */
6 
7 #define UART0_PHYS_BASE (0xf1000000 + 0x12000)
8 
9 #define UART_THR ((volatile unsigned char *)(UART0_PHYS_BASE + 0x0))
10 #define UART_LSR ((volatile unsigned char *)(UART0_PHYS_BASE + 0x14))
11 
12 #define LSR_THRE	0x20
13 
putc(const char c)14 static inline void putc(const char c)
15 {
16 	int i;
17 
18 	for (i = 0; i < 0x1000; i++) {
19 		/* Transmit fifo not full? */
20 		if (*UART_LSR & LSR_THRE)
21 			break;
22 	}
23 
24 	*UART_THR = c;
25 }
26 
flush(void)27 static inline void flush(void)
28 {
29 }
30 
31 /*
32  * nothing to do
33  */
34 #define arch_decomp_setup()
35