Symbol: rmi_irq_fn