1 files changed, 101 insertions, 0 deletions

diff --git a/arch/mips/lib/dump_tlb.c b/arch/mips/lib/dump_tlb.c
new file mode 100644
index 000000000000..465ff0ec85b9
--- /dev/null
+++ b/arch/mips/lib/dump_tlb.c
@@ -0,0 +1,101 @@
+/*
+ * Dump R4x00 TLB for debugging purposes.
+ *
+ * Copyright (C) 1994, 1995 by Waldorf Electronics, written by Ralf Baechle.
+ * Copyright (C) 1999 by Silicon Graphics, Inc.
+ */
+#include <linux/kernel.h>
+#include <linux/mm.h>
+
+#include <asm/mipsregs.h>
+#include <asm/page.h>
+#include <asm/pgtable.h>
+#include <asm/tlbdebug.h>
+
+static inline const char *msk2str(unsigned int mask)
+{
+        switch (mask) {
+        case PM_4K:     return "4kb";
+        case PM_16K:    return "16kb";
+        case PM_64K:    return "64kb";
+        case PM_256K:   return "256kb";
+#ifndef CONFIG_CPU_VR41XX
+        case PM_1M:     return "1Mb";
+        case PM_4M:     return "4Mb";
+        case PM_16M:    return "16Mb";
+        case PM_64M:    return "64Mb";
+        case PM_256M:   return "256Mb";
+#endif
+        }
+        return "";
+}
+
+#define BARRIER()                                       \
+        __asm__ __volatile__(                           \
+                ".set\tnoreorder\n\t"                   \
+                "nop;nop;nop;nop;nop;nop;nop\n\t"       \
+                ".set\treorder");
+
+static void dump_tlb(int first, int last)
+{
+        unsigned long s_entryhi, entryhi, asid;
+        unsigned long long entrylo0, entrylo1;
+        unsigned int s_index, pagemask, c0, c1, i;
+
+        s_entryhi = read_c0_entryhi();
+        s_index = read_c0_index();
+        asid = s_entryhi & 0xff;
+
+        for (i = first; i <= last; i++) {
+                write_c0_index(i);
+                BARRIER();
+                tlb_read();
+                BARRIER();
+                pagemask = read_c0_pagemask();
+                entryhi  = read_c0_entryhi();
+                entrylo0 = read_c0_entrylo0();
+                entrylo1 = read_c0_entrylo1();
+
+                /* Unused entries have a virtual address of CKSEG0.  */
+                if ((entryhi & ~0x1ffffUL) != CKSEG0
+                    && (entryhi & 0xff) == asid) {
+#ifdef CONFIG_32BIT
+                        int width = 8;
+#else
+                        int width = 11;
+#endif
+                        /*
+                         * Only print entries in use
+                         */
+                        printk("Index: %2d pgmask=%s ", i, msk2str(pagemask));
+
+                        c0 = (entrylo0 >> 3) & 7;
+                        c1 = (entrylo1 >> 3) & 7;
+
+                        printk("va=%0*lx asid=%02lx\n",
+                               width, (entryhi & ~0x1fffUL),
+                               entryhi & 0xff);
+                        printk("\t[pa=%0*llx c=%d d=%d v=%d g=%d] ",
+                               width,
+                               (entrylo0 << 6) & PAGE_MASK, c0,
+                               (entrylo0 & 4) ? 1 : 0,
+                               (entrylo0 & 2) ? 1 : 0,
+                               (entrylo0 & 1) ? 1 : 0);
+                        printk("[pa=%0*llx c=%d d=%d v=%d g=%d]\n",
+                               width,
+                               (entrylo1 << 6) & PAGE_MASK, c1,
+                               (entrylo1 & 4) ? 1 : 0,
+                               (entrylo1 & 2) ? 1 : 0,
+                               (entrylo1 & 1) ? 1 : 0);
+                }
+        }
+        printk("\n");
+
+        write_c0_entryhi(s_entryhi);
+        write_c0_index(s_index);
+}
+
+void dump_tlb_all(void)
+{
+        dump_tlb(0, current_cpu_data.tlbsize - 1);
+}