linux-sg2042/drivers/irqchip
..
Kconfig
Makefile
irq-bcm2835.c