diff --git a/Kernel/Arch/aarch64/Processor.h b/Kernel/Arch/aarch64/Processor.h index 025b4ac0db..7cbdd72862 100644 --- a/Kernel/Arch/aarch64/Processor.h +++ b/Kernel/Arch/aarch64/Processor.h @@ -171,6 +171,12 @@ public: return *g_current_processor; } + // FIXME: Move this into generic Processor class, when there is such a class. + ALWAYS_INLINE static bool is_bootstrap_processor() + { + return Processor::current_id() == 0; + } + static void deferred_call_queue(Function /* callback */) { TODO_AARCH64();