Symbol: cpu_hatch_secondary
sys/arch/arm/arm/cpu.c
319
int cpu_hatch_secondary(struct cpu_info *ci, int, uint64_t);
sys/arch/arm/arm/cpu.c
400
if (cpu_hatch_secondary(ci, spinup_method, spinup_data)) {
sys/arch/arm64/arm64/cpu.c
1785
void cpu_hatch_secondary(void);
sys/arch/arm64/arm64/cpu.c
1845
start_va = (vaddr_t)cpu_hatch_secondary;
sys/arch/arm64/arm64/cpu.c
1966
start_va = (vaddr_t)cpu_hatch_secondary;
sys/arch/riscv64/riscv64/cpu.c
223
int cpu_hatch_secondary(struct cpu_info *ci);
sys/arch/riscv64/riscv64/cpu.c
286
if (cpu_hatch_secondary(ci)) {