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