+void Debug_int_SerialIRQHandler(int IRQ, void *unused)
+{
+ volatile Uint32 *regs = (void*)UART0_BASE;
+ #if PLATFORM_is_realview_pb
+ if( !(regs[15] & 0x10) ) {
+ #else
+ if( !(regs[5] & 1) ) {
+ #endif
+ // RX Int hadn't fired
+ Debug("No IRQ %x %x", regs[15], regs[0]);
+ return ;
+ }
+ char ch = regs[0];
+ Serial_ByteReceived(gSerial_KernelDebugPort, ch);
+}
+