Symbol: mp_cpu_is_paused
sys/arch/sparc64/include/intr.h
81
int mp_cpu_is_paused (sparc64_cpuset_t);
sys/arch/sparc64/sparc64/db_interface.c
1026
if (!mp_cpu_is_paused(ci->ci_index)) {