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,