From df9a833d7ace8c04625bf3237a98732a9511356d Mon Sep 17 00:00:00 2001 From: James Mintram Date: Mon, 4 Apr 2022 22:06:58 +0100 Subject: [PATCH] Kernel: Add VERIFY_NOT_REACHED to aarch64 PageDirectory.cpp --- Kernel/Arch/aarch64/PageDirectory.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Kernel/Arch/aarch64/PageDirectory.cpp b/Kernel/Arch/aarch64/PageDirectory.cpp index f87cfa9885..4f23a9dca1 100644 --- a/Kernel/Arch/aarch64/PageDirectory.cpp +++ b/Kernel/Arch/aarch64/PageDirectory.cpp @@ -11,23 +11,28 @@ namespace Kernel::Memory { void PageDirectory::register_page_directory(PageDirectory*) { + VERIFY_NOT_REACHED(); } void PageDirectory::deregister_page_directory(PageDirectory*) { + VERIFY_NOT_REACHED(); } RefPtr PageDirectory::find_current() { + VERIFY_NOT_REACHED(); return nullptr; } void activate_kernel_page_directory(PageDirectory const&) { + VERIFY_NOT_REACHED(); } void activate_page_directory(PageDirectory const&, Thread*) { + VERIFY_NOT_REACHED(); } }