irq registers (BT on, normal op): ICIP 00000000 0x40D00000 /* Interrupt Controller IRQ Pending Register */ ICMR a6d00418 0x40D00004 /* Interrupt Controller Mask Register */ ICLR 00000000 0x40D00008 /* Interrupt Controller Level Register */ ICFP 00000000 0x40D0000C /* Interrupt Controller FIQ Pending Register */ ICPR 08000004 0x40D00010 /* Interrupt Controller Pending Register */ ICCR 00000001 0x40D00014 /* Interrupt Controller Control Register */ 40d00000 | 00000000 a6d00418 00000000 00000000 | ................ 40d00010 | 08000004 00000001 001a0000 8000001a | ................ ICLR: level - all zero - everything generates IRQ not FIQ ICMR: mask: 1010 0110 1101 0000 | 0000 0100 0001 1000 3 USB Host 1 4 Keypad Controller 10 GPIO_x 20 STUART 22 FFUART 23 MMC 25 DMA 26 OS Timer 0 29 OS Timer 3 31 RTC