drivers/irqchip/irq-pruss-intc.o