Symbol: ampintc_ipi_handler
sys/arch/arm64/dev/ampintc.c
202
int ampintc_ipi_handler(void *);
sys/arch/arm64/dev/ampintc.c
328
IPL_IPI|IPL_MPSAFE, NULL, ampintc_ipi_handler, sc, "ipi");