RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-25 14:17:36 +00:00
Code Issues Activity Actions

Kernel: Replace VERIFY_NOT_REACHED with TODO_AARCH64

Browse source 
This makes it easier to differentiate between cases where certain
functionality is not implemented vs. cases where a code location
should really be unreachable.
This commit is contained in:
Gunnar Beutner 2022-10-16 16:23:44 +02:00 • committed by Linus Groh
parent 9f3de0be6a
commit dfee6f73d2
10 changed files with 50 additions and 49 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -12,17 +12,17 @@ namespace Kernel::Memory {
void PageDirectory::register_page_directory(PageDirectory*)
{
VERIFY_NOT_REACHED();
TODO_AARCH64();
}
void PageDirectory::deregister_page_directory(PageDirectory*)
{
VERIFY_NOT_REACHED();
TODO_AARCH64();
}
LockRefPtr<PageDirectory> PageDirectory::find_current()
{
VERIFY_NOT_REACHED();
TODO_AARCH64();
return nullptr;
}
@ -33,7 +33,7 @@ void activate_kernel_page_directory(PageDirectory const&)
void activate_page_directory(PageDirectory const&, Thread*)
{
VERIFY_NOT_REACHED();
TODO_AARCH64();
}
}