ampintc_ipi_ddb - OpenBSD

Symbol: ampintc_ipi_ddb

sys/arch/arm/cortex/ampintc.c

int ampintc_ipi_ddb(void *);

sys/arch/arm/cortex/ampintc.c

IPL_IPI|IPL_MPSAFE, ampintc_ipi_ddb, sc, "ipiddb");

sys/arch/arm/cortex/ampintc.c

return ampintc_ipi_ddb(v);

sys/arch/arm64/dev/ampintc.c

ampintc_ipi_ddb(v);

sys/arch/arm64/dev/ampintc.c

int ampintc_ipi_ddb(void *);