Searched refs:intr_send_ipi (Results 1 – 8 of 8) sorted by relevance
| /openbsd/src/sys/arch/powerpc64/powerpc64/ |
| D | cpu.c | 420 intr_send_ipi(ci, IPI_NOP); in cpu_kick()
427 intr_send_ipi(ci, IPI_NOP); in cpu_unidle()
442 intr_send_ipi(&cpu_info[i], IPI_SETPERF); in mp_setperf()
|
| D | db_interface.c | 181 intr_send_ipi(&cpu_info[i], IPI_DDB); in db_enter_ddb()
343 intr_send_ipi(&cpu_info[cpu], IPI_DDB); in db_stopcpu()
|
| D | intr.c | 412 intr_send_ipi(struct cpu_info *ci, int reason) in intr_send_ipi() function
|
| /openbsd/src/sys/arch/powerpc64/include/ |
| D | intr.h | 100 void intr_send_ipi(struct cpu_info *, int);
|
| /openbsd/src/sys/arch/riscv64/riscv64/ |
| D | db_interface.c | 337 intr_send_ipi(cpu_info[i], IPI_DDB); in db_enter_ddb()
407 intr_send_ipi(cpu_info[cpu], IPI_DDB); in db_stopcpu()
|
| D | cpu.c | 482 intr_send_ipi(ci, IPI_NOP); in cpu_kick()
489 intr_send_ipi(ci, IPI_NOP); in cpu_unidle()
|
| D | intr.c | 733 intr_send_ipi(struct cpu_info *ci, int reason) in intr_send_ipi() function
|
| /openbsd/src/sys/arch/riscv64/include/ |
| D | intr.h | 207 void intr_send_ipi(struct cpu_info *, int);
|