2 #include <linux/delay.h>
4 #include <linux/kernel.h>
5 #include <linux/init.h>
7 #include <linux/suspend.h>
8 #include <linux/random.h>
9 #include <linux/crc32.h>
11 #include <linux/wakelock.h>
12 #include <asm/cacheflush.h>
13 #include <asm/tlbflush.h>
14 #include <asm/hardware/cache-l2x0.h>
15 #include <asm/hardware/gic.h>
17 #include <mach/system.h>
18 #include <mach/sram.h>
19 #include <mach/gpio.h>
21 void __sramfunc sram_printch(char byte)
23 #ifdef DEBUG_UART_BASE
24 writel_relaxed(byte, DEBUG_UART_BASE);
27 /* loop check LSR[6], Transmitter Empty bit */
28 while (!(readl_relaxed(DEBUG_UART_BASE + 0x14) & 0x40))