diff options
author | Tom <tomut@yahoo.com> | 2020-08-27 21:29:17 -0600 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2020-08-28 09:21:24 +0200 |
commit | 67dbb5644426421086d0941fbefd1a35ebd13129 (patch) | |
tree | 77d989a2fde3c1079186649338da874b3e387216 /Kernel/VM/PageDirectory.h | |
parent | 88319b188e1b83d11f2ed9ee07427e3c44a95594 (diff) | |
download | serenity-67dbb5644426421086d0941fbefd1a35ebd13129.zip |
Kernel: Release page tables when no longer needed
When unmapping regions, check if page tables can be freed.
This is a follow-up change for #3254.
Diffstat (limited to 'Kernel/VM/PageDirectory.h')
-rw-r--r-- | Kernel/VM/PageDirectory.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Kernel/VM/PageDirectory.h b/Kernel/VM/PageDirectory.h index d6de42b570..98c256b920 100644 --- a/Kernel/VM/PageDirectory.h +++ b/Kernel/VM/PageDirectory.h @@ -66,7 +66,7 @@ private: RangeAllocator m_identity_range_allocator; RefPtr<PhysicalPage> m_directory_table; RefPtr<PhysicalPage> m_directory_pages[4]; - HashTable<RefPtr<PhysicalPage>> m_physical_pages; + HashMap<u32, RefPtr<PhysicalPage>> m_page_tables; }; } |