Symbol: irqchip_split