/drivers/irqchip/irq-ts4800.mod.c