Symbol: cpu_resume_secondary
sys/arch/arm64/dev/apm.c
419
cpu_resume_secondary(ci);
sys/arch/arm64/include/cpu.h
350
void cpu_resume_secondary(struct cpu_info *);