Symbol: ampintc_ipi_ddb
sys/arch/arm/cortex/ampintc.c
929
ampintc_ipi_ddb(void *v)
sys/arch/arm64/dev/ampintc.c
1009
ampintc_ipi_ddb(void *v)