Symbol: mp_pause_cpus_ddb
sys/arch/sparc/include/cpu.h
588
void mp_pause_cpus_ddb(void);
sys/arch/sparc/sparc/cpu.c
878
mp_pause_cpus_ddb();
sys/arch/sparc/sparc/db_interface.c
177
void mp_pause_cpus_ddb(void);
sys/arch/sparc/sparc/db_interface.c
196
mp_pause_cpus_ddb();