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