| /* |
| * This file is licensed under the terms of the GNU General Public |
| * License version 2. This program is licensed "as is" without any |
| * warranty of any kind, whether express or implied. |
| */ |
| |
| #define UART0_PHYS_BASE (0xf1000000 + 0x12000) |
| |
| #define UART_THR ((volatile unsigned char *)(UART0_PHYS_BASE + 0x0)) |
| #define UART_LSR ((volatile unsigned char *)(UART0_PHYS_BASE + 0x14)) |
| |
| #define LSR_THRE 0x20 |
| |
| static inline void putc(const char c) |
| { |
| int i; |
| |
| for (i = 0; i < 0x1000; i++) { |
| /* Transmit fifo not full? */ |
| if (*UART_LSR & LSR_THRE) |
| break; |
| } |
| |
| *UART_THR = c; |
| } |
| |
| static inline void flush(void) |
| { |
| } |
| |
| /* |
| * nothing to do |
| */ |
| #define arch_decomp_setup() |
