Searched refs:arm_send_ipi (Results 1 – 8 of 8) sorted by relevance
| /openbsd/sys/arch/arm64/include/ |
| H A D | intr.h | 194 void arm_send_ipi(struct cpu_info *, int);
|
| /openbsd/sys/arch/arm64/arm64/ |
| H A D | db_interface.c | 416 arm_send_ipi(cpu_info[i], ARM_IPI_DDB); in db_enter_ddb()
486 arm_send_ipi(cpu_info[cpu], ARM_IPI_DDB); in db_stopcpu()
|
| H A D | cpu.c | 1665 arm_send_ipi(ci, ARM_IPI_NOP); in cpu_boot_secondary()
1813 arm_send_ipi(ci, ARM_IPI_NOP); in cpu_kick()
1825 arm_send_ipi(ci, ARM_IPI_NOP); in cpu_unidle()
|
| H A D | intr.c | 911 arm_send_ipi(struct cpu_info *ci, int id) in arm_send_ipi() function
|
| /openbsd/sys/arch/armv7/include/ |
| H A D | intr.h | 198 void arm_send_ipi(struct cpu_info *, int);
|
| /openbsd/sys/arch/arm64/dev/ |
| H A D | apm.c | 404 arm_send_ipi(ci, ARM_IPI_HALT); in sleep_mp()
|
| /openbsd/sys/arch/arm/arm/ |
| H A D | cpu.c | 570 arm_send_ipi(ci, ARM_IPI_NOP); in cpu_kick()
582 arm_send_ipi(ci, ARM_IPI_NOP); in cpu_unidle()
|
| /openbsd/sys/arch/armv7/armv7/ |
| H A D | intr.c | 914 arm_send_ipi(struct cpu_info *ci, int id) in arm_send_ipi() function
|