kernel-fxtec-pro1x/drivers/irqchip
..
irq-bcm2835.c
Kconfig
Makefile