sys/arch/amd64/amd64/db_interface.c

377

db_stopcpu(int cpu)

sys/arch/arm64/arm64/db_interface.c

500

db_stopcpu(int cpu)

sys/arch/i386/i386/db_mp.c

123

db_stopcpu(int cpu)

sys/arch/mips64/mips64/db_machdep.c

602

db_stopcpu(int cpu)

sys/arch/powerpc/ddb/db_interface.c

320

db_stopcpu(int cpu)

sys/arch/powerpc64/powerpc64/db_interface.c

336

db_stopcpu(int cpu)

sys/arch/riscv64/riscv64/db_interface.c

400

db_stopcpu(int cpu)

sys/arch/sparc64/sparc64/db_interface.c

506

db_stopcpu(struct cpu_info *ci)