diff --git a/Kernel/Arch/Interrupts.h b/Kernel/Arch/Interrupts.h
index 5b41ccab777..9e5a6212fbd 100644
--- a/Kernel/Arch/Interrupts.h
+++ b/Kernel/Arch/Interrupts.h
@@ -21,4 +21,6 @@ GenericInterruptHandler& get_interrupt_handler(u8 interrupt_number);
 void register_generic_interrupt_handler(u8 number, GenericInterruptHandler&);
 void unregister_generic_interrupt_handler(u8 number, GenericInterruptHandler&);
 
+void initialize_interrupts();
+
 }
diff --git a/Kernel/Arch/aarch64/Interrupts.cpp b/Kernel/Arch/aarch64/Interrupts.cpp
index 54b2f858392..5a69b1a0c35 100644
--- a/Kernel/Arch/aarch64/Interrupts.cpp
+++ b/Kernel/Arch/aarch64/Interrupts.cpp
@@ -23,4 +23,9 @@ void unregister_generic_interrupt_handler(u8, GenericInterruptHandler&)
     VERIFY_NOT_REACHED();
 }
 
+void initialize_interrupts()
+{
+    VERIFY_NOT_REACHED();
+}
+
 }
diff --git a/Kernel/Arch/x86/Interrupts.h b/Kernel/Arch/x86/Interrupts.h
index 2e5ccaab037..5068ff3a13c 100644
--- a/Kernel/Arch/x86/Interrupts.h
+++ b/Kernel/Arch/x86/Interrupts.h
@@ -44,6 +44,4 @@ void register_interrupt_handler(u8 number, void (*handler)());
 void register_user_callable_interrupt_handler(u8 number, void (*handler)());
 void register_disabled_interrupt_handler(u8 number, GenericInterruptHandler& handler);
 
-void idt_init();
-
 }
diff --git a/Kernel/Arch/x86/common/Interrupts.cpp b/Kernel/Arch/x86/common/Interrupts.cpp
index d52e0b17d85..6e75c219c47 100644
--- a/Kernel/Arch/x86/common/Interrupts.cpp
+++ b/Kernel/Arch/x86/common/Interrupts.cpp
@@ -615,7 +615,7 @@ UNMAP_AFTER_INIT void flush_idt()
     asm("lidt %0" ::"m"(s_idtr));
 }
 
-UNMAP_AFTER_INIT void idt_init()
+UNMAP_AFTER_INIT void initialize_interrupts()
 {
     s_idtr.address = s_idt;
     s_idtr.limit = 256 * sizeof(IDTEntry) - 1;
diff --git a/Kernel/Arch/x86/common/Processor.cpp b/Kernel/Arch/x86/common/Processor.cpp
index 632d24e2b94..69cd84a663c 100644
--- a/Kernel/Arch/x86/common/Processor.cpp
+++ b/Kernel/Arch/x86/common/Processor.cpp
@@ -656,7 +656,7 @@ UNMAP_AFTER_INIT void Processor::initialize(u32 cpu)
 #endif
 
     if (cpu == 0)
-        idt_init();
+        initialize_interrupts();
     else
         flush_idt();