From 1b65136a11453fe7e89320dfe6170a0cd75e60dd Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Thu, 24 Jul 2025 16:33:10 +0000
Subject: x86_64: clean up hw details

---
 arch/x86_64/src/memory/mmu.cpp | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 arch/x86_64/src/memory/mmu.cpp

(limited to 'arch/x86_64/src/memory/mmu.cpp')

diff --git a/arch/x86_64/src/memory/mmu.cpp b/arch/x86_64/src/memory/mmu.cpp
new file mode 100644
index 0000000..31783fe
--- /dev/null
+++ b/arch/x86_64/src/memory/mmu.cpp
@@ -0,0 +1,17 @@
+#include "x86_64/memory/mmu.hpp"
+
+#include "x86_64/cpu/registers.hpp"
+
+namespace teachos::x86_64::memory
+{
+  auto tlb_flush(linear_address address) -> void
+  {
+    asm volatile("invlpg (%[input])" : /* no output from call */ : [input] "r"(address) : "memory");
+  }
+
+  auto tlb_flush_all() -> void
+  {
+    auto current_value = cpu::read_control_register(cpu::control_register::cr3);
+    cpu::write_control_register(cpu::control_register::cr3, current_value);
+  }
+}  // namespace teachos::x86_64::memory
-- 
cgit v1.2.3


From 6434de8ff75a9143847ef529bc209790ac4909b3 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Wed, 29 Oct 2025 11:09:42 +0100
Subject: kapi: move frame and address to KAPI

---
 arch/x86_64/src/memory/mmu.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'arch/x86_64/src/memory/mmu.cpp')

diff --git a/arch/x86_64/src/memory/mmu.cpp b/arch/x86_64/src/memory/mmu.cpp
index 31783fe..e573b4e 100644
--- a/arch/x86_64/src/memory/mmu.cpp
+++ b/arch/x86_64/src/memory/mmu.cpp
@@ -2,8 +2,10 @@
 
 #include "x86_64/cpu/registers.hpp"
 
-namespace teachos::x86_64::memory
+namespace teachos::memory::x86_64
 {
+  namespace cpu = cpu::x86_64;
+
   auto tlb_flush(linear_address address) -> void
   {
     asm volatile("invlpg (%[input])" : /* no output from call */ : [input] "r"(address) : "memory");
@@ -14,4 +16,4 @@ namespace teachos::x86_64::memory
     auto current_value = cpu::read_control_register(cpu::control_register::cr3);
     cpu::write_control_register(cpu::control_register::cr3, current_value);
   }
-}  // namespace teachos::x86_64::memory
+}  // namespace teachos::memory::x86_64
-- 
cgit v1.2.3


From a5ca21e45e9c8ead0b5895771c0b2f3fe3baf96b Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Fri, 21 Nov 2025 14:53:37 +0100
Subject: x86_64: rework control register access

---
 arch/x86_64/src/memory/mmu.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'arch/x86_64/src/memory/mmu.cpp')

diff --git a/arch/x86_64/src/memory/mmu.cpp b/arch/x86_64/src/memory/mmu.cpp
index e573b4e..8ec8a2e 100644
--- a/arch/x86_64/src/memory/mmu.cpp
+++ b/arch/x86_64/src/memory/mmu.cpp
@@ -13,7 +13,7 @@ namespace teachos::memory::x86_64
 
   auto tlb_flush_all() -> void
   {
-    auto current_value = cpu::read_control_register(cpu::control_register::cr3);
-    cpu::write_control_register(cpu::control_register::cr3, current_value);
+    auto paging_root = cpu::cr3::read();
+    cpu::cr3::write(paging_root);
   }
 }  // namespace teachos::memory::x86_64
-- 
cgit v1.2.3


From 1945dd16716392e70e74efacd19e779f121bd1da Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 15 Dec 2025 16:46:51 +0100
Subject: chore: fix missing includes

---
 arch/x86_64/src/memory/mmu.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'arch/x86_64/src/memory/mmu.cpp')

diff --git a/arch/x86_64/src/memory/mmu.cpp b/arch/x86_64/src/memory/mmu.cpp
index 8ec8a2e..e15d94e 100644
--- a/arch/x86_64/src/memory/mmu.cpp
+++ b/arch/x86_64/src/memory/mmu.cpp
@@ -1,5 +1,7 @@
 #include "x86_64/memory/mmu.hpp"
 
+#include "kapi/memory.hpp"
+
 #include "x86_64/cpu/registers.hpp"
 
 namespace teachos::memory::x86_64
-- 
cgit v1.2.3