sys/arch/mips/include/locore.h

651

bool cpu_is_paused(cpuid_t);

sys/arch/mips/mips/db_interface.c

1148

if (!cpu_is_paused(cpu_index(ci))) {

sys/arch/mips/mips/db_interface.c

143

KASSERT(cpu_is_paused(cpu_me));

sys/arch/mips/mips/db_interface.c

149

KASSERT(! cpu_is_paused(cpu_me));

sys/arch/powerpc/include/cpu.h

426

int cpu_is_paused(int);

sys/arch/powerpc/powerpc/db_interface.c

227

KASSERT(cpu_is_paused(cpu_me));

sys/arch/powerpc/powerpc/db_interface.c

232

KASSERT(!cpu_is_paused(cpu_me));

sys/arch/powerpc/powerpc/db_interface.c

900

if (!cpu_is_paused(cpu_index(ci))) {

sys/arch/riscv/include/cpu.h

140

bool cpu_is_paused(cpuid_t);

sys/arch/riscv/riscv/db_interface.c

146

KASSERT(cpu_is_paused(cpu_me));

sys/arch/riscv/riscv/db_interface.c

152

KASSERT(!cpu_is_paused(cpu_me));

sys/arch/riscv/riscv/db_interface.c

311

if (!cpu_is_paused(cpu_index(ci))) {