Symbol: IPI_DDB
sys/arch/powerpc64/powerpc64/cpu.c
407
if (pending & IPI_DDB)
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/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);
sys/arch/riscv64/riscv64/intr.c
763
if (pending & IPI_DDB)