Kernel/aarch64: Add FIXME debug messages to PageDirectory

These are added to make clear that the current memory situation in the
aarch64 kernel is not complete yet.
This commit is contained in:
Timon Kruiper 2022-12-22 19:06:15 +01:00 committed by Andrew Kaster
parent 21deb603de
commit 5a5fa10046
Notes: sideshowbarker 2024-07-17 02:28:19 +09:00
2 changed files with 8 additions and 3 deletions

View File

@ -12,7 +12,7 @@ namespace Kernel::Memory {
void PageDirectory::register_page_directory(PageDirectory*)
{
TODO_AARCH64();
dbgln("FIXME: PageDirectory: Actually implement registering a page directory!");
}
void PageDirectory::deregister_page_directory(PageDirectory*)
@ -28,7 +28,7 @@ LockRefPtr<PageDirectory> PageDirectory::find_current()
void activate_kernel_page_directory(PageDirectory const&)
{
// FIXME: Implement this
dbgln("FIXME: PageDirectory: Actually implement activating a kernel page directory!");
}
void activate_page_directory(PageDirectory const&, Thread*)

View File

@ -119,7 +119,12 @@ public:
bool is_user_allowed() const { TODO_AARCH64(); }
void set_user_allowed(bool) { }
bool is_writable() const { TODO_AARCH64(); }
bool is_writable() const
{
dbgln("FIXME: PageTableEntry: Actually check if the entry is writable!");
return true;
}
void set_writable(bool) { }
bool is_write_through() const { TODO_AARCH64(); }