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