RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-01 11:42:12 +00:00
Code Issues Activity Actions

Kernel/aarch64: Set up pointer to kernel page directory

Browse source 
The MemoryManager uses this pointer to adds its newly created page
tables to the kernel page directory.
This commit is contained in:
Timon Kruiper 2022-09-21 16:46:06 +02:00 • committed by Andreas Kling
parent 96f73c9289
commit c2e410195a
2 changed files with 26 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Kernel/Memory/MemoryManager.cpp
View file

@ -494,10 +494,8 @@ UNMAP_AFTER_INIT void MemoryManager::initialize_physical_pages()
auto* pd = reinterpret_cast<PageDirectoryEntry*>(quickmap_page(boot_pd_kernel));
PageDirectoryEntry& pde = pd[page_directory_index];
// FIXME: port quickmap_page to aarch64
#if !ARCH(AARCH64)
VERIFY(!pde.is_present()); // Nothing should be using this PD yet
#endif
// We can't use ensure_pte quite yet!
pde.set_page_table_base(pt_paddr.get());
pde.set_user_allowed(false);