Symbol: agintc_eoi
sys/arch/arm64/dev/agintc.c
1155
agintc_eoi(irq);
sys/arch/arm64/dev/agintc.c
1168
agintc_eoi(irq);
sys/arch/arm64/dev/agintc.c
1409
agintc_eoi(sc->sc_ipi_num);
sys/arch/arm64/dev/agintc.c
253
void agintc_eoi(uint32_t);