diff options
Diffstat (limited to 'src/console/die.c')
| -rw-r--r-- | src/console/die.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/console/die.c b/src/console/die.c index 395ab75538..e6e968a5b3 100644 --- a/src/console/die.c +++ b/src/console/die.c @@ -20,8 +20,8 @@ */ #include <arch/io.h> -#include <arch/hlt.h> #include <console/console.h> +#include <halt.h> #ifndef __ROMCC__ #define NORETURN __attribute__((noreturn)) @@ -33,7 +33,5 @@ void NORETURN die(const char *msg) { print_emerg(msg); - do { - hlt(); - } while(1); + halt(); } |