1 files changed, 0 insertions, 51 deletions
diff --git a/dev/Kernel/HALKit/POWER/HalVirtualMemory.cxx b/dev/Kernel/HALKit/POWER/HalVirtualMemory.cxx
deleted file mode 100644
index 589c2cda..00000000
--- a/dev/Kernel/HALKit/POWER/HalVirtualMemory.cxx
+++ /dev/null
@@ -1,51 +0,0 @@
-/* -------------------------------------------
-
-	Copyright ZKA Technologies.
-
-------------------------------------------- */
-
-#include <HALKit/POWER/ppc-cpu.h>
-#include <HALKit/POWER/ppc-mmu.h>
-
-#include <HALKit/POWER/Processor.hxx>
-#include <KernelKit/DebugOutput.hxx>
-
-/// @note refer to the SoC documentation.
-
-using namespace Kernel;
-
-Void hal_write_tlb(UInt32 mas0, UInt32 mas1, UInt32 mas2, UInt32 mas3, UInt32 mas7)
-{
-	mtspr(MAS0, mas0);
-	mtspr(MAS1, mas1);
-	mtspr(MAS2, mas2);
-	mtspr(MAS3, mas3);
-	mtspr(MAS7, mas7);
-
-	hal_flush_tlb();
-}
-
-Bool hal_set_tlb(UInt8 tlb, UInt32 epn, UInt64 rpn, UInt8 perms, UInt8 wimge, UInt8 ts, UInt8 esel, UInt8 tsize, UInt8 iprot)
-{
-	if ((mfspr(SPRN_MMUCFG) & MMUCFG_MAVN) == MMUCFG_MAVN_V1 && (tsize & 1))
-	{
-		// this mmu-version does not allow odd tsize values
-		return false;
-	}
-
-	UInt32 mas0 = FSL_BOOKE_MAS0(tlb, esel, 0);
-	UInt32 mas1 = FSL_BOOKE_MAS1(1, iprot, 0, ts, tsize);
-	UInt32 mas2 = FSL_BOOKE_MAS2(epn, wimge);
-	UInt32 mas3 = FSL_BOOKE_MAS3(rpn, 0, perms);
-	UInt32 mas7 = FSL_BOOKE_MAS7(rpn);
-
-	hal_write_tlb(mas0, mas1, mas2, mas3, mas7);
-
-	return true;
-}
-
-/// @brief Flush TLB
-EXTERN_C void hal_flush_tlb()
-{
-	asm volatile("isync;tlbwe;msync;isync");
-}