Searched refs:ampintc_ipi_ddb (Results 1 - 2 of 2) sorted by relevance

/openbsd-current/sys/arch/arm64/dev/
H A Dampintc.c201 int ampintc_ipi_ddb(void *);
356 IPL_IPI|IPL_MPSAFE, NULL, ampintc_ipi_ddb, sc, "ipiddb");
1054 ampintc_ipi_ddb(void *v) function
1084 return ampintc_ipi_ddb(v);
/openbsd-current/sys/arch/arm/cortex/
H A Dampintc.c199 int ampintc_ipi_ddb(void *);
358 IPL_IPI|IPL_MPSAFE, ampintc_ipi_ddb, sc, "ipiddb");
929 ampintc_ipi_ddb(void *v) function
950 return ampintc_ipi_ddb(v);

Completed in 70 milliseconds