Symbol: agintc_route_irq
sys/arch/arm64/dev/agintc.c
260
void agintc_route_irq(void *, int, struct cpu_info *);
sys/arch/arm64/dev/agintc.c
645
sc->sc_ic.ic_route = agintc_route_irq;
sys/arch/arm64/dev/agintc.c
761
agintc_route_irq(sc->sc_ipi_irq, IRQ_ENABLE, curcpu());