Kernel: Remove all inline assembly.

Now the kernel does not rely upon inline assembly which is often very
error prone. This also means that the kernel could probably be compiled
with any c99 compiler which would help future bootstrapping.

1 files changed, 2 insertions, 4 deletions

diff --git a/kernel/kubsan.c b/kernel/kubsan.c
index fc2900d..9bc2631 100644
--- a/kernel/kubsan.c
+++ b/kernel/kubsan.c
@@ -2,15 +2,13 @@
 #include <kubsan.h>
 #include <log.h>
 #include <stdio.h>
+#include <cpu/arch_inst.h>
 
 void ubsan_log(const char *cause, struct source_location source) {
   kprintf("%s: %s : %d\n", cause, source.file_name, source.line);
   dump_backtrace(5);
   disable_interrupts();
-  asm volatile("1: jmp 1b");
-  asm("hlt");
-  for (;;)
-    ;
+  halt();
 }
 
 void __ubsan_handle_shift_out_of_bounds(struct ShiftOutOfBoundsData *data,