serenity/Kernel/Arch/aarch64/PageDirectory.cpp
Gunnar Beutner dfee6f73d2 Kernel: Replace VERIFY_NOT_REACHED with TODO_AARCH64
This makes it easier to differentiate between cases where certain
functionality is not implemented vs. cases where a code location
should really be unreachable.
2022-10-16 17:35:37 +02:00

39 lines
743 B
C++

/*
* Copyright (c) 2018-2021, Andreas Kling <kling@serenityos.org>
* Copyright (c) 2018-2022, James Mintram <me@jamesrm.com>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <Kernel/Arch/aarch64/ASM_wrapper.h>
#include <Kernel/Memory/PageDirectory.h>
namespace Kernel::Memory {
void PageDirectory::register_page_directory(PageDirectory*)
{
TODO_AARCH64();
}
void PageDirectory::deregister_page_directory(PageDirectory*)
{
TODO_AARCH64();
}
LockRefPtr<PageDirectory> PageDirectory::find_current()
{
TODO_AARCH64();
return nullptr;
}
void activate_kernel_page_directory(PageDirectory const&)
{
// FIXME: Implement this
}
void activate_page_directory(PageDirectory const&, Thread*)
{
TODO_AARCH64();
}
}