diff --git a/Kernel.cpp b/Kernel.cpp
index 2c9df35..7b2883e 100644
--- a/Kernel.cpp
+++ b/Kernel.cpp
@@ -40,13 +40,6 @@ EXTERNC void KPrint(const char *format, ...)
     Display->SetBuffer(0);
 }
 
-EXTERNC void aarch64Entry(uint64_t dtb_ptr32, uint64_t x1, uint64_t x2, uint64_t x3)
-{
-    trace("Hello, World!");
-    while (1)
-        CPU::Halt();
-}
-
 EXTERNC void Entry(BootInfo *Info)
 {
     BootClock = ReadClock();
@@ -135,3 +128,17 @@ EXTERNC void Entry(BootInfo *Info)
     while (1)
         CPU::Halt();
 }
+
+EXTERNC void arm64Entry(uint64_t dtb_ptr32, uint64_t x1, uint64_t x2, uint64_t x3)
+{
+    trace("Hello, World!");
+    while (1)
+        CPU::Halt();
+}
+
+EXTERNC void x32Entry(uint64_t Data)
+{
+    trace("Hello, World!");
+    while (1)
+        CPU::Halt();
+}