e500_intr_onchip_name_lookup
const char *name = e500_intr_onchip_name_lookup(j);
return e500_intr_onchip_name_lookup(irq);