1 files changed, 16 insertions, 0 deletions
diff --git a/arch/x86_64/src/kernel/cpu/tlb.cpp b/arch/x86_64/src/kernel/cpu/tlb.cpp
new file mode 100644
index 0000000..a09001c
--- /dev/null
+++ b/arch/x86_64/src/kernel/cpu/tlb.cpp
@@ -0,0 +1,16 @@
+#include "arch/kernel/cpu/tlb.hpp"
+
+#include "arch/kernel/cpu/control_register.hpp"
+
+namespace teachos::arch::kernel::cpu
+{
+  auto tlb_flush(memory::paging::virtual_address address) -> void
+  {
+    asm volatile("invlpg (%[input])" : /* no output from call */ : [input] "r"(address) : "memory");
+  }
+
+  auto tlb_flush_all() -> void
+  {
+    write_control_register(cpu::control_register::CR3, read_control_register(cpu::control_register::CR3));
+  }
+}  // namespace teachos::arch::kernel::cpu