1 files changed, 17 insertions, 0 deletions
diff --git a/dev/Kernel/HALKit/64x0/HalVirtualMemory.cc b/dev/Kernel/HALKit/64x0/HalVirtualMemory.cc
new file mode 100644
index 00000000..6dd40325
--- /dev/null
+++ b/dev/Kernel/HALKit/64x0/HalVirtualMemory.cc
@@ -0,0 +1,17 @@
+/* -------------------------------------------
+
+	Copyright (C) 2024, TQ B.V, all rights reserved.
+
+------------------------------------------- */
+
+#include <HALKit/POWER/Processor.h>
+#include <KernelKit/DebugOutput.h>
+
+using namespace Kernel;
+
+/// @brief Flush system TLB, looks like the POWER version, as it acts the same, no specific instruction for that.
+/// @note The 88K MMU should be present as well.
+EXTERN_C void hal_flush_tlb()
+{
+	asm volatile("invltlb");
+}