From 87a42e555bf952047e287f4c7810cd538595d5af Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Wed, 15 Nov 2023 19:10:34 -0600
Subject: rtl/smp: implement SMP dead/alive handling

---
 demo/demo.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'demo/demo.h')

diff --git a/demo/demo.h b/demo/demo.h
index 5ffd4cd..d8b9da6 100644
--- a/demo/demo.h
+++ b/demo/demo.h
@@ -27,6 +27,7 @@ void console_init(void);
 void print(const char *fmt, ...);
 void read_line(char *buf, unsigned size);
 
+int cpu_is_alive(unsigned num);
 void run_cpu(unsigned num);
 void run_cpus(unsigned mask);
 void halt_cpu(unsigned num);
-- 
cgit v1.2.3