Files
linux/drivers/irqchip/irq-ts4800.c