diff --git a/Kernel/Scheduler.cpp b/Kernel/Scheduler.cpp
index 0ede9fe681..b6129a543d 100644
--- a/Kernel/Scheduler.cpp
+++ b/Kernel/Scheduler.cpp
@@ -475,7 +475,7 @@ void Scheduler::idle_loop(void*)
 {
     auto& proc = Processor::current();
     dbgln("Scheduler[{}]: idle loop running", proc.id());
-    VERIFY(are_interrupts_enabled());
+    VERIFY(Processor::are_interrupts_enabled());
 
     for (;;) {
         proc.idle_begin();