Symbol: atl2_irq_disable