original_kernel/drivers/irqchip
..
Kconfig
Makefile
irq-bcm2835.c
irq-sunxi.c
irq-versatile-fpga.c
spear-shirq.c