From 7630f5a5589e2c38d6cf65a776ff7cf96783f5fd Mon Sep 17 00:00:00 2001
From: Berkus Decker <berkus+github@metta.systems>
Date: Sun, 20 Jan 2019 17:44:34 +0200
Subject: [PATCH] Add paging setup [wip]

---
 src/arch/aarch64/mod.rs | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/src/arch/aarch64/mod.rs b/src/arch/aarch64/mod.rs
index b3ab996..3d3e10f 100644
--- a/src/arch/aarch64/mod.rs
+++ b/src/arch/aarch64/mod.rs
@@ -112,6 +112,21 @@ pub fn write_ttbr_tcr_mair(el: u8, base: u64, tcr: u64, attr: u64) {
     }
 }
 
+fn setup_paging() {
+    // test if paging is enabled
+    // if so, loop here
+
+    // @todo
+    // Check mmu and dcache states, loop forever on some setting
+
+    write_ttbr_tcr_mair(
+        1,
+        read_translation_table_base(),
+        read_translation_control(),
+        read_mair(),
+    );
+}
+
 struct MemMapRegion {
     virt: usize,
     phys: usize,