From d14e578d268e6bd75cb410b13836a2104d02ba45 Mon Sep 17 00:00:00 2001
From: Ian Moffett <ian@osmora.org>
Date: Wed, 18 Jun 2025 16:38:42 -0400
Subject: kernel/aarch64: Make stubs up to date

Signed-off-by: Ian Moffett <ian@osmora.org>
---
 sys/include/arch/aarch64/cpu.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sys/include')

diff --git a/sys/include/arch/aarch64/cpu.h b/sys/include/arch/aarch64/cpu.h
index 2f62d95..8c2d837 100644
--- a/sys/include/arch/aarch64/cpu.h
+++ b/sys/include/arch/aarch64/cpu.h
@@ -39,6 +39,7 @@ struct cpu_info {
     struct cpu_info *self;
 };
 
+__dead void cpu_halt_all(void);
 void cpu_startup(struct cpu_info *ci);
 void cpu_halt_others(void);
 
-- 
cgit v1.2.3