2 * Copyright (C) 2009 Hans J. Koch <hjk@linutronix.de>
4 * This file is licensed under the terms of the GPL version 2.
7 #include <linux/serial_reg.h>
8 #include <linux/types.h>
10 #include <mach/tcc8k-regs.h>
12 unsigned int system_rev;
14 #define ID_MASK 0x7fff
16 static void putc(int c)
18 u32 *uart_lsr = (u32 *)(UART_BASE_PHYS + (UART_LSR << 2));
19 u32 *uart_tx = (u32 *)(UART_BASE_PHYS + (UART_TX << 2));
21 while (!(*uart_lsr & UART_LSR_THRE))
26 static inline void flush(void)
33 #define arch_decomp_setup()
34 #define arch_decomp_wdog()