RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-27 05:47:35 +00:00
Code Issues Activity Actions

Kernel: Add VERIFY_NOT_REACHED to aarch64 PageDirectory.cpp

Browse source
This commit is contained in:
James Mintram 2022-04-04 22:06:58 +01:00 • committed by Brian Gianforcaro
parent 283d8e8f51
commit df9a833d7a
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Kernel/Arch/aarch64/PageDirectory.cpp
View file

@ -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> 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();
}
}