sys/arch/powerpc64/include/intr.h

104

void intr_send_ipi(struct cpu_info *, int);

sys/arch/powerpc64/powerpc64/cpu.c

420

intr_send_ipi(ci, IPI_NOP);

sys/arch/powerpc64/powerpc64/cpu.c

427

intr_send_ipi(ci, IPI_NOP);

sys/arch/powerpc64/powerpc64/cpu.c

442

intr_send_ipi(&cpu_info[i], IPI_SETPERF);

sys/arch/powerpc64/powerpc64/db_interface.c

181

intr_send_ipi(&cpu_info[i], IPI_DDB);

sys/arch/powerpc64/powerpc64/db_interface.c

343

intr_send_ipi(&cpu_info[cpu], IPI_DDB);

sys/arch/riscv64/include/intr.h

202

void intr_send_ipi(struct cpu_info *, int);

sys/arch/riscv64/riscv64/cpu.c

599

intr_send_ipi(ci, IPI_NOP);

sys/arch/riscv64/riscv64/cpu.c

606

intr_send_ipi(ci, IPI_NOP);

sys/arch/riscv64/riscv64/db_interface.c

337

intr_send_ipi(cpu_info[i], IPI_DDB);

sys/arch/riscv64/riscv64/db_interface.c

407

intr_send_ipi(cpu_info[cpu], IPI_DDB);