Symbol: efa_irq