mkrtos-real/mkrtos_knl/arch/aarch64/spin_table.h

#pragma once

void cpu_start_to(int cpu_id);
void *get_cpu_stack(int cpu_inx);