Symbol: atl1c_irq_disable