2 files changed, 3 insertions, 0 deletions
diff --git a/sys/include/arch/aarch64/cpu.h b/sys/include/arch/aarch64/cpu.h
index a6ccdec..2f62d95 100644
--- a/sys/include/arch/aarch64/cpu.h
+++ b/sys/include/arch/aarch64/cpu.h
@@ -40,6 +40,8 @@ struct cpu_info {
 };
 
 void cpu_startup(struct cpu_info *ci);
+void cpu_halt_others(void);
+
 void mp_bootstrap_aps(struct cpu_info *ci);
 struct cpu_info *this_cpu(void);
 
diff --git a/sys/include/arch/amd64/cpu.h b/sys/include/arch/amd64/cpu.h
index ce42416..dd753b7 100644
--- a/sys/include/arch/amd64/cpu.h
+++ b/sys/include/arch/amd64/cpu.h
@@ -49,6 +49,7 @@ struct cpu_info {
 };
 
 __dead void cpu_halt_all(void);
+void cpu_halt_others(void);
 void cpu_startup(struct cpu_info *ci);
 
 struct cpu_info *this_cpu(void);