ampintc_route_irq
void ampintc_route_irq(void *, int, struct cpu_info *);
sc->sc_ic.ic_route = ampintc_route_irq;
void ampintc_route_irq(void *, int, struct cpu_info *);
sc->sc_ic.ic_route = ampintc_route_irq;