original_kernel/drivers/irqchip
..
Kconfig
Makefile
irq-bcm2835.c