x86_64/memory: extend scoped_mapping

1 files changed, 7 insertions, 1 deletions

diff --git a/arch/x86_64/src/memory/scoped_mapping.cpp b/arch/x86_64/src/memory/scoped_mapping.cpp
index c436ee5..27c4785 100644
--- a/arch/x86_64/src/memory/scoped_mapping.cpp
+++ b/arch/x86_64/src/memory/scoped_mapping.cpp
@@ -4,6 +4,7 @@
 #include "kapi/system.hpp"
 
 #include "x86_64/memory/mmu.hpp"
+#include "x86_64/memory/paging_root.hpp"
 
 #include <utility>
 
@@ -20,7 +21,12 @@ namespace teachos::memory::x86_64
       : m_address{address}
       , m_allocator{&allocator}
       , m_mapped{false}
-  {}
+  {
+    if (paging_root::get().translate(address))
+    {
+      system::panic("[MEM] Tried to map a page that is already mapped!");
+    }
+  }
 
   scoped_mapping::~scoped_mapping()
   {