diff --git a/Kernel/Arch/aarch64/CPU.h b/Kernel/Arch/aarch64/CPU.h
index 5157ce023d5..6769c61db02 100644
--- a/Kernel/Arch/aarch64/CPU.h
+++ b/Kernel/Arch/aarch64/CPU.h
@@ -11,6 +11,6 @@
 namespace Kernel {
 
 void drop_to_exception_level_1();
-void init_prekernel_page_tables();
+void init_page_tables();
 
 }
diff --git a/Kernel/Arch/aarch64/MMU.cpp b/Kernel/Arch/aarch64/MMU.cpp
index 8095324850b..8575b1de1e3 100644
--- a/Kernel/Arch/aarch64/MMU.cpp
+++ b/Kernel/Arch/aarch64/MMU.cpp
@@ -186,7 +186,7 @@ static void activate_mmu()
     Aarch64::Asm::flush();
 }
 
-void init_prekernel_page_tables()
+void init_page_tables()
 {
     PageBumpAllocator allocator((u64*)page_tables_phys_start, (u64*)page_tables_phys_end);
     build_identity_map(allocator);
diff --git a/Kernel/Arch/aarch64/init.cpp b/Kernel/Arch/aarch64/init.cpp
index a358fa3ba56..eb16e949e7b 100644
--- a/Kernel/Arch/aarch64/init.cpp
+++ b/Kernel/Arch/aarch64/init.cpp
@@ -116,7 +116,7 @@ extern "C" [[noreturn]] void init()
     dbgln("Firmware version: {}", firmware_version);
 
     dbgln("Initialize MMU");
-    init_prekernel_page_tables();
+    init_page_tables();
 
     auto& framebuffer = RPi::Framebuffer::the();
     if (framebuffer.initialized()) {