Add switch method to kernel

1 files changed, 7 insertions, 1 deletions

diff --git a/arch/x86_64/src/memory/paging/inactive_page_table.cpp b/arch/x86_64/src/memory/paging/inactive_page_table.cpp
index f6ecb8b..4e0610e 100644
--- a/arch/x86_64/src/memory/paging/inactive_page_table.cpp
+++ b/arch/x86_64/src/memory/paging/inactive_page_table.cpp
@@ -2,8 +2,14 @@
 
 namespace teachos::arch::memory::paging
 {
+  inactive_page_table::inactive_page_table(allocator::physical_frame frame)
+      : page_table_level_4_frame{frame}
+  {
+    // Nothing to do
+  }
+
   inactive_page_table::inactive_page_table(allocator::physical_frame frame, active_page_table & active_page_table,
-                                           temporary_page temporary_page)
+                                           temporary_page & temporary_page)
       : page_table_level_4_frame{frame}
   {
     auto table = temporary_page.map_table_frame(page_table_level_4_frame, active_page_table);