Symbol: uppc_translate_irq