Index: include/cpu.h
===================================================================
--- include/cpu.h	(revision e83a9f7c954282eecb46f51add3a6c1bb620b4aa)
+++ include/cpu.h	(revision e515167d463ba945cbb71d0179e971580c6a385c)
@@ -75,5 +75,4 @@
 
 extern void cpu_init(void);
-extern void cpu_halt(void);
 
 extern void cpu_arch_init(void);