Symbol: agintc_ipi_handler
sys/arch/arm64/dev/agintc.c
266
int agintc_ipi_handler(void *);
sys/arch/arm64/dev/agintc.c
635
agintc_ipi_handler, sc, "ipi");