diff --git a/Kernel/Interrupts/InterruptManagement.h b/Kernel/Interrupts/InterruptManagement.h
index 9c448c45be..2f6815795a 100644
--- a/Kernel/Interrupts/InterruptManagement.h
+++ b/Kernel/Interrupts/InterruptManagement.h
@@ -51,6 +51,8 @@ public:
 
     virtual void switch_to_pic_mode();
     virtual void switch_to_ioapic_mode();
+
+    bool smp_enabled() const { return m_smp_enabled; }
     RefPtr<IRQController> get_responsible_irq_controller(u8 interrupt_vector);
 
     Vector<RefPtr<ISAInterruptOverrideMetadata>> isa_overrides();