diff --git a/Kernel/Arch/x86/Processor.h b/Kernel/Arch/x86/Processor.h
index 609801792a..9d3d9c4aa6 100644
--- a/Kernel/Arch/x86/Processor.h
+++ b/Kernel/Arch/x86/Processor.h
@@ -154,7 +154,7 @@ class Processor {
     static void smp_return_to_pool(ProcessorMessage& msg);
     static ProcessorMessage& smp_get_from_pool();
     static void smp_cleanup_message(ProcessorMessage& msg);
-    bool smp_queue_message(ProcessorMessage& msg);
+    bool smp_enqueue_message(ProcessorMessage&);
     static void smp_unicast_message(u32 cpu, ProcessorMessage& msg, bool async);
     static void smp_broadcast_message(ProcessorMessage& msg);
     static void smp_broadcast_wait_sync(ProcessorMessage& msg);
diff --git a/Kernel/Arch/x86/common/Processor.cpp b/Kernel/Arch/x86/common/Processor.cpp
index 1c200c2890..12d091b2d4 100644
--- a/Kernel/Arch/x86/common/Processor.cpp
+++ b/Kernel/Arch/x86/common/Processor.cpp
@@ -855,7 +855,7 @@ bool Processor::smp_process_pending_messages()
     return did_process;
 }
 
-bool Processor::smp_queue_message(ProcessorMessage& msg)
+bool Processor::smp_enqueue_message(ProcessorMessage& msg)
 {
     // Note that it's quite possible that the other processor may pop
     // the queue at any given time. We rely on the fact that the messages
@@ -881,7 +881,7 @@ void Processor::smp_broadcast_message(ProcessorMessage& msg)
     for_each(
         [&](Processor& proc) {
             if (&proc != &cur_proc) {
-                if (proc.smp_queue_message(msg))
+                if (proc.smp_enqueue_message(msg))
                     need_broadcast = true;
             }
         });
@@ -920,7 +920,7 @@ void Processor::smp_unicast_message(u32 cpu, ProcessorMessage& msg, bool async)
     dbgln_if(SMP_DEBUG, "SMP[{}]: Send message {} to cpu #{} proc: {}", cur_proc.get_id(), VirtualAddress(&msg), cpu, VirtualAddress(&target_proc));
 
     msg.refs.store(1u, AK::MemoryOrder::memory_order_release);
-    if (target_proc->smp_queue_message(msg)) {
+    if (target_proc->smp_enqueue_message(msg)) {
         APIC::the().send_ipi(cpu);
     }