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
14static 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
27static void flush(void)
28{
29}
30
31/*
32 * nothing to do
33 */
34#define arch_decomp_setup()
35