CPU0       
  7:          2      INTC  TWL4030-PIH
  9:          0      INTC  l3-debug-irq
 10:          0      INTC  l3-app-irq
 11:          0      INTC  prcm
 12:      34507      INTC  DMA
 20:          0      INTC  gpmc
 25:          2      INTC  OMAP DISPC, omapdss_dsi1
 56:        604      INTC  omap_i2c
 61:          0      INTC  omap_i2c
 72:          0      INTC  serial idle
 73:          0      INTC  serial idle
 74:        201      INTC  serial idle, OMAP UART2
 76:          1      INTC  ohci_hcd:usb2
 77:      70884      INTC  ehci_hcd:usb1
 80:          0      INTC  serial idle
 83:      66724      INTC  mmc0
 95:     260824      INTC  gp timer
164:          0      GPIO  user
376:          0   twl4030  twl4030_pwrbutton
378:          0   twl4030  twl4030_usb
379:          2   twl4030  rtc0
384:          0   twl4030  mmc0
IPI0:          0  Timer broadcast interrupts
IPI1:          0  Rescheduling interrupts
IPI2:          0  Function call interrupts
IPI3:          0  Single function call interrupts
IPI4:          0  CPU stop interrupts
LOC:          0  Local timer interrupts
Err:          0