Symbol: ampintc_ipi_combined
sys/arch/arm/cortex/ampintc.c
197
int ampintc_ipi_combined(void *);
sys/arch/arm/cortex/ampintc.c
349
IPL_IPI|IPL_MPSAFE, ampintc_ipi_combined, sc, "ipi");