diff options
author | Andreas Kling <awesomekling@gmail.com> | 2019-11-04 00:23:31 +0100 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-11-04 00:24:20 +0100 |
commit | 6ed9cc47174728cfdc5134bd41744e8ecf8eacdc (patch) | |
tree | 019748813424f75c18d524897326cab8cbf03355 /Kernel/VM/Region.h | |
parent | e3dda4e87b39eb142d85dd520af3c772b793a2fb (diff) | |
download | serenity-6ed9cc47174728cfdc5134bd41744e8ecf8eacdc.zip |
Kernel: Remove Region API's for setting/unsetting the page directory
This is done implicitly by mapping or unmapping the region.
Diffstat (limited to 'Kernel/VM/Region.h')
-rw-r--r-- | Kernel/VM/Region.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Kernel/VM/Region.h b/Kernel/VM/Region.h index 1d9ce7f5d3..5a3b7ca4ad 100644 --- a/Kernel/VM/Region.h +++ b/Kernel/VM/Region.h @@ -91,18 +91,6 @@ public: PageDirectory* page_directory() { return m_page_directory.ptr(); } - void set_page_directory(PageDirectory& page_directory) - { - ASSERT(!m_page_directory || m_page_directory == &page_directory); - m_page_directory = page_directory; - } - - void release_page_directory() - { - ASSERT(m_page_directory); - m_page_directory.clear(); - } - bool should_cow(size_t page_index) const; void set_should_cow(size_t page_index, bool); |