aboutsummaryrefslogtreecommitdiff
path: root/arch/x86_64/src/kernel/cpu/tlb.cpp
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2025-07-24 16:33:10 +0000
committerFelix Morgner <felix.morgner@ost.ch>2025-07-24 16:33:10 +0000
commit1b65136a11453fe7e89320dfe6170a0cd75e60dd (patch)
treeb031192e5af29866e75a2c842d01e22f16877bcc /arch/x86_64/src/kernel/cpu/tlb.cpp
parent3b9bbbb4be529f2365b8bc2e43c1c8e9a65b1a07 (diff)
downloadteachos-1b65136a11453fe7e89320dfe6170a0cd75e60dd.tar.xz
teachos-1b65136a11453fe7e89320dfe6170a0cd75e60dd.zip
x86_64: clean up hw details
Diffstat (limited to 'arch/x86_64/src/kernel/cpu/tlb.cpp')
-rw-r--r--arch/x86_64/src/kernel/cpu/tlb.cpp16
1 files changed, 0 insertions, 16 deletions
diff --git a/arch/x86_64/src/kernel/cpu/tlb.cpp b/arch/x86_64/src/kernel/cpu/tlb.cpp
deleted file mode 100644
index a09001c..0000000
--- a/arch/x86_64/src/kernel/cpu/tlb.cpp
+++ /dev/null
@@ -1,16 +0,0 @@
-#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