Symbol: ei_irq_wrapper