From b4ff67c8a9bebd99eb3c06ea141fe0f1b8feb5a4 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 22 Dec 2025 14:53:33 +0100
Subject: chore: clean up linter warnings

---
 kernel/src/kapi/memory.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'kernel/src/kapi/memory.cpp')

diff --git a/kernel/src/kapi/memory.cpp b/kernel/src/kapi/memory.cpp
index d6c84e1..2f707ec 100644
--- a/kernel/src/kapi/memory.cpp
+++ b/kernel/src/kapi/memory.cpp
@@ -50,10 +50,8 @@ namespace teachos::memory
     constinit bad_page_mapper bad_page_mapper::instance{};
   }  // namespace
 
-  // NOLINTNEXTLINE(cppcoreguidelines-avoid-non-const-global-variables)
-  constinit auto active_frame_allocator = static_cast<frame_allocator *>(&bad_frame_allocator::instance);
-  // NOLINTNEXTLINE(cppcoreguidelines-avoid-non-const-global-variables)
-  constinit auto active_page_mapper = static_cast<page_mapper *>(&bad_page_mapper::instance);
+  constinit auto static active_frame_allocator = static_cast<frame_allocator *>(&bad_frame_allocator::instance);
+  constinit auto static active_page_mapper = static_cast<page_mapper *>(&bad_page_mapper::instance);
 
   auto set_frame_allocator(frame_allocator & allocator) -> std::optional<frame_allocator *>
   {
-- 
cgit v1.2.3