diff options
Diffstat (limited to 'kernel/src/kapi/memory.cpp')
| -rw-r--r-- | kernel/src/kapi/memory.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
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 *> { |