mach_translate_irq
int (*psm_translate_irq)(dev_info_t *, int) = mach_translate_irq;
static int mach_translate_irq(dev_info_t *dip, int irqno);