diff options
| -rw-r--r-- | Kernel/Arch/aarch64/Processor.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Kernel/Arch/aarch64/Processor.h b/Kernel/Arch/aarch64/Processor.h index d828964299..ed2e6bfdd8 100644 --- a/Kernel/Arch/aarch64/Processor.h +++ b/Kernel/Arch/aarch64/Processor.h @@ -85,10 +85,10 @@ public: return 0; } + // FIXME: Actually return the current thread once aarch64 supports threading. ALWAYS_INLINE static Thread* current_thread() { - VERIFY_NOT_REACHED(); - return 0; + return nullptr; } ALWAYS_INLINE bool has_nx() const @@ -121,9 +121,9 @@ public: return 0; } + // FIXME: Actually return the idle thread once aarch64 supports threading. ALWAYS_INLINE static Thread* idle_thread() { - VERIFY_NOT_REACHED(); return nullptr; } |