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