Symbol: irq_bank_writel