x86_64: clean up hw details

1 files changed, 17 insertions, 0 deletions

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