******* arm/csb336 ************* irq.h not included ******* arm/csb337 ************* irq.h not included ******* arm/edb7312 ************* All required header files present ******* arm/gba ************* All required header files present ******* arm/gdbarmsim ************* irq-generic.h not included irq-info.h not included ******* arm/gp32 ************* irq.h not included ******* arm/gumstix ************* irq.h not included ******* arm/lm3s69xx ************* All required header files present ******* arm/lpc24xx ************* All required header files present ******* arm/lpc32xx ************* All required header files present ******* arm/raspberrypi ************* All required header files present ******* arm/rtl22xx ************* irq.h not included ******* arm/smdk2410 ************* irq.h not included ******* arm/stm32f4 ************* All required header files present ******* i386/pc386 ************* All required header files present ******* lm32/milkymist ************* irq-info.h not included ******* mips/csb350 ************* All required header files present ******* mips/genmongoosev ************* All required header files present ******* mips/hurricane ************* All required header files present ******* mips/jmr3904 ************* All required header files present ******* mips/malta ************* All required header files present ******* mips/rbtx4925 ************* All required header files present ******* mips/rbtx4938 ************* All required header files present ******* powerpc/beatnik ************* irq-generic.h not included irq-info.h not included ******* powerpc/ep1a ************* irq-generic.h not included irq-info.h not included ******* powerpc/gen5200 ************* All required header files present ******* powerpc/gen83xx ************* All required header files present ******* powerpc/haleakala ************* irq-generic.h not included irq-info.h not included ******* powerpc/mbx8xx ************* All required header files present ******* powerpc/motorola_powerpc ************* irq-generic.h not included irq-info.h not included ******* powerpc/mpc55xxevb ************* irq.h not included ******* powerpc/mpc8260ads ************* All required header files present ******* powerpc/mvme3100 ************* irq-generic.h not included irq-info.h not included ******* powerpc/mvme5500 ************* irq-generic.h not included irq-info.h not included ******* powerpc/psim ************* irq-info.h not included ******* powerpc/qemuppc ************* All required header files present ******* powerpc/qoriq ************* All required header files present ******* powerpc/score603e ************* irq-generic.h not included irq-info.h not included ******* powerpc/ss555 ************* irq-generic.h not included irq-info.h not included ******* powerpc/t32mppc ************* All required header files present ******* powerpc/tqm8xx ************* All required header files present ******* powerpc/virtex ************* irq-generic.h not included irq-info.h not included ******* powerpc/virtex4 ************* irq-generic.h not included irq-info.h not included ******* powerpc/virtex5 ************* irq-generic.h not included irq-info.h not included ******* sparc/erc32 ************* All required header files present ******* sparc/leon2 ************* All required header files present ******* sparc/leon3 ************* All required header files present