Symbol: agintc_ipi_ddb
sys/arch/arm64/dev/agintc.c
1430
agintc_ipi_ddb(v);
sys/arch/arm64/dev/agintc.c
264
int agintc_ipi_ddb(void *v);