Symbol: efa_request_irq