From f427a82d48f7c68e3e4f78f3365ae3f54ad55f51 Mon Sep 17 00:00:00 2001
From: Alexander von Gluck IV <kallisti5@unixzen.com>
Date: Sun, 19 Apr 2015 18:35:11 -0500
Subject: [PATCH] arm: Add debug function to dump mmu state

* We don't change the data cache (and other) settings.
  Interesting to know their state on each platform.
* Not used by default as it needs called after
  serial-init in u-boot
---
 src/system/boot/arch/arm/arch_mmu.cpp | 38 +++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)

diff --git a/src/system/boot/arch/arm/arch_mmu.cpp b/src/system/boot/arch/arm/arch_mmu.cpp
index 6dac993dce..4ffa3dd25d 100644
--- a/src/system/boot/arch/arm/arch_mmu.cpp
+++ b/src/system/boot/arch/arm/arch_mmu.cpp
@@ -209,6 +209,44 @@ mmu_write_C1(uint32 value)
 }
 
 
+/*
+ * Dump current MMU Control Register state
+ * For debugging, can be added to loader temporarly post-serial-init
+ */
+void
+mmu_dump_C1()
+{
+	uint32 cpValue = mmu_read_C1();
+
+	dprintf("MMU CP15:c1 State:\n");
+
+	if ((cpValue & (1 << 0)) != 0)
+		dprintf(" - MMU Enabled\n");
+	else
+		dprintf(" - MMU Disabled\n");
+
+	if ((cpValue & (1 << 2)) != 0)
+		dprintf(" - Data Cache Enabled\n");
+	else
+		dprintf(" - Data Cache Disabled\n");
+
+	if ((cpValue & (1 << 3)) != 0)
+		dprintf(" - Write Buffer Enabled\n");
+	else
+		dprintf(" - Write Buffer Disabled\n");
+
+	if ((cpValue & (1 << 12)) != 0)
+		dprintf(" - Instruction Cache Enabled\n");
+	else
+		dprintf(" - Instruction Cache Disabled\n");
+
+	if ((cpValue & (1 << 13)) != 0)
+		dprintf(" - Vector Table @ 0xFFFF0000\n");
+	else
+		dprintf(" - Vector Table @ 0x00000000\n");
+}
+
+
 void
 mmu_write_DACR(uint32 value)
 {