diff --git a/Kernel/StdLib.cpp b/Kernel/StdLib.cpp
index 54cb6b109e..a16d58f547 100644
--- a/Kernel/StdLib.cpp
+++ b/Kernel/StdLib.cpp
@@ -306,4 +306,10 @@ void free(void* p)
 {
     ASSERT_NOT_REACHED();
 }
+
+extern "C" int __cxa_atexit(void (*)(void*), void*, void*)
+{
+    ASSERT_NOT_REACHED();
+    return 0;
+}
 }
diff --git a/Kernel/init.cpp b/Kernel/init.cpp
index 69db9f9efd..9e0713c4a9 100644
--- a/Kernel/init.cpp
+++ b/Kernel/init.cpp
@@ -381,13 +381,8 @@ extern "C" {
 multiboot_info_t* multiboot_info_ptr;
 }
 
-// Define some Itanium C++ ABI methods to stop the linker from complaining
+// Define some Itanium C++ ABI methods to stop the linker from complaining.
 // If we actually call these something has gone horribly wrong
 void* __dso_handle __attribute__((visibility("hidden")));
 
-extern "C" int __cxa_atexit(void (*)(void*), void*, void*)
-{
-    ASSERT_NOT_REACHED();
-    return 0;
-}
 }