Symbol: ampintc_eoi
sys/arch/arm/cortex/ampintc.c
189
void ampintc_eoi(uint32_t);
sys/arch/arm/cortex/ampintc.c
687
ampintc_eoi(iack_val);
sys/arch/arm64/dev/ampintc.c
193
void ampintc_eoi(uint32_t);
sys/arch/arm64/dev/ampintc.c
646
ampintc_eoi(sc->sc_ipi_num);
sys/arch/arm64/dev/ampintc.c
748
ampintc_eoi(iack_val);