Files
linux/drivers/irqchip/irq-ti-sci-intr.c