Symbol: mp_resume_cpu
sys/arch/sparc64/include/intr.h
82
void mp_resume_cpu(int);
sys/arch/sparc64/sparc64/db_interface.c
1032
mp_resume_cpu(ddb_cpu);