6 #define SERIAL_BASE 0x16000000
7 #define SERIAL_REG_DATA 0x0
8 #define SERIAL_REG_FLAG 0x18
9 #define SERIAL_FLAG_FULL 0x20
12 void KernelPanic_SetMode(void);
13 void KernelPanic_PutChar(char Ch);
14 void StartupPrint(const char *str);
17 int giDebug_SerialInitialised = 0;
20 void Debug_PutCharDebug(char ch)
22 while( *(volatile Uint32*)(SERIAL_BASE + SERIAL_REG_FLAG) & SERIAL_FLAG_FULL )
25 *(volatile Uint32*)(SERIAL_BASE + SERIAL_REG_DATA) = ch;
28 void Debug_PutStringDebug(const char *str)
31 Debug_PutCharDebug( *str );
34 void KernelPanic_SetMode(void)
38 void KernelPanic_PutChar(char ch)
40 Debug_PutCharDebug(ch);
43 void StartupPrint(const char *str)