Symbol: mach_translate_irq