diff --git a/Kernel/Arch/aarch64/Processor.h b/Kernel/Arch/aarch64/Processor.h
index 79047ef46c..2973f19d5f 100644
--- a/Kernel/Arch/aarch64/Processor.h
+++ b/Kernel/Arch/aarch64/Processor.h
@@ -32,36 +32,63 @@ struct [[gnu::aligned(16)]] FPUState
 
 class Processor {
 public:
-    void set_specific(ProcessorSpecificDataID /*specific_id*/, void* /*ptr*/) { }
+    void set_specific(ProcessorSpecificDataID /*specific_id*/, void* /*ptr*/)
+    {
+        VERIFY_NOT_REACHED();
+    }
     template<typename T>
-    T* get_specific() { return 0; }
+    T* get_specific()
+    {
+        VERIFY_NOT_REACHED();
+        return 0;
+    }
 
-    ALWAYS_INLINE static void pause() { }
-    ALWAYS_INLINE static void wait_check() { }
+    ALWAYS_INLINE static void pause()
+    {
+        VERIFY_NOT_REACHED();
+    }
+    ALWAYS_INLINE static void wait_check()
+    {
+        VERIFY_NOT_REACHED();
+    }
 
-    ALWAYS_INLINE u8 physical_address_bit_width() const { return 0; }
-    ALWAYS_INLINE u8 virtual_address_bit_width() const { return 0; }
+    ALWAYS_INLINE u8 physical_address_bit_width() const
+    {
+        VERIFY_NOT_REACHED();
+        return 0;
+    }
+
+    ALWAYS_INLINE u8 virtual_address_bit_width() const
+    {
+        VERIFY_NOT_REACHED();
+        return 0;
+    }
 
     ALWAYS_INLINE static bool is_initialized()
     {
+        VERIFY_NOT_REACHED();
         return false;
     }
 
     ALWAYS_INLINE static void flush_tlb_local(VirtualAddress&, size_t&)
     {
+        VERIFY_NOT_REACHED();
     }
 
     ALWAYS_INLINE static void flush_tlb(Memory::PageDirectory const*, VirtualAddress const&, size_t)
     {
+        VERIFY_NOT_REACHED();
     }
 
     ALWAYS_INLINE static u32 current_id()
     {
+        VERIFY_NOT_REACHED();
         return 0;
     }
 
     ALWAYS_INLINE static Thread* current_thread()
     {
+        VERIFY_NOT_REACHED();
         return 0;
     }
 
@@ -77,26 +104,36 @@ public:
 
     ALWAYS_INLINE static FlatPtr current_in_irq()
     {
+        VERIFY_NOT_REACHED();
         return 0;
     }
 
-    ALWAYS_INLINE static u64 read_cpu_counter() { return 0; }
+    ALWAYS_INLINE static u64 read_cpu_counter()
+    {
+        VERIFY_NOT_REACHED();
+        return 0;
+    }
 
-    ALWAYS_INLINE static void enter_critical() { }
-    ALWAYS_INLINE static void leave_critical() { }
+    ALWAYS_INLINE static void enter_critical() { VERIFY_NOT_REACHED(); }
+    ALWAYS_INLINE static void leave_critical() { VERIFY_NOT_REACHED(); }
     ALWAYS_INLINE static u32 in_critical()
     {
+        VERIFY_NOT_REACHED();
         return 0;
     }
 
     ALWAYS_INLINE static Thread* idle_thread()
     {
+        VERIFY_NOT_REACHED();
         return nullptr;
     }
 
     ALWAYS_INLINE static Processor& current() { VERIFY_NOT_REACHED(); }
 
-    static void deferred_call_queue(Function<void()> /* callback */) { }
+    static void deferred_call_queue(Function<void()> /* callback */)
+    {
+        VERIFY_NOT_REACHED();
+    }
 
     [[noreturn]] static void halt()
     {