diff --git a/Kernel/Arch/aarch64/Dummy.cpp b/Kernel/Arch/aarch64/Dummy.cpp
index 4bab6134040..90a0b79c624 100644
--- a/Kernel/Arch/aarch64/Dummy.cpp
+++ b/Kernel/Arch/aarch64/Dummy.cpp
@@ -13,6 +13,7 @@
 #include <Kernel/Memory/SharedInodeVMObject.h>
 #include <Kernel/Panic.h>
 #include <Kernel/PhysicalAddress.h>
+#include <Kernel/Process.h>
 #include <Kernel/Random.h>
 #include <Kernel/Sections.h>
 #include <Kernel/UserOrKernelBuffer.h>
@@ -50,6 +51,16 @@ void Mutex::unlock()
 
 }
 
+// Process
+namespace Kernel {
+
+SpinlockProtected<Process::List>& Process::all_instances()
+{
+    VERIFY_NOT_REACHED();
+}
+
+}
+
 // LockRank
 namespace Kernel {
 
diff --git a/Kernel/Assertions.h b/Kernel/Assertions.h
index d0933c0faaf..deddab93c0e 100644
--- a/Kernel/Assertions.h
+++ b/Kernel/Assertions.h
@@ -27,10 +27,5 @@ extern "C" {
 
 #define TODO() __assertion_failed("TODO", __FILE__, __LINE__, __PRETTY_FUNCTION__)
 
-#if ARCH(I386) || ARCH(X86_64)
-#    define VERIFY_INTERRUPTS_DISABLED() VERIFY(!(cpu_flags() & 0x200))
-#    define VERIFY_INTERRUPTS_ENABLED() VERIFY(cpu_flags() & 0x200)
-#else
-#    define VERIFY_INTERRUPTS_DISABLED() TODO()
-#    define VERIFY_INTERRUPTS_ENABLED() TODO()
-#endif
+#define VERIFY_INTERRUPTS_DISABLED() VERIFY(!(Processor::are_interrupts_enabled()))
+#define VERIFY_INTERRUPTS_ENABLED() VERIFY(Processor::are_interrupts_enabled())