Searched defs:arm_send_ipi (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/sys/arch/arm64/arm64/ | ||
| H A D | intr.c | 908 arm_send_ipi(struct cpu_info *ci, int id) arm_send_ipi() function |
| /openbsd-src/sys/arch/armv7/armv7/ | ||
| H A D | intr.c | 911 arm_send_ipi(struct cpu_info *ci, int id) arm_send_ipi() function |