2 files changed, 8 insertions, 9 deletions
diff --git a/src/include/halt.h b/src/include/halt.h
index a00975ba2d..cb691a202b 100644
--- a/src/include/halt.h
+++ b/src/include/halt.h
@@ -3,10 +3,13 @@
 #ifndef __HALT_H__
 #define __HALT_H__
 
-/**
- * halt the system reliably
- */
-void __noreturn halt(void);
+#include <arch/hlt.h>
+#include <commonlib/bsd/stdlib.h>
+
+static inline __noreturn void halt(void)
+{
+	abort();
+}
 
 /* Power off the system. */
 void poweroff(void);
diff --git a/src/include/stdlib.h b/src/include/stdlib.h
index 8fa5d20ab6..8e62f27305 100644
--- a/src/include/stdlib.h
+++ b/src/include/stdlib.h
@@ -3,11 +3,7 @@
 #ifndef STDLIB_H
 #define STDLIB_H
 
+#include <commonlib/bsd/stdlib.h>
 #include <stddef.h>
 
-void *memalign(size_t boundary, size_t size);
-void *malloc(size_t size);
-void *calloc(size_t nitems, size_t size);
-void free(void *ptr);
-
 #endif /* STDLIB_H */