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()