1 // SPDX-License-Identifier: GPL-2.0
3 * Dump R3000 TLB for debugging purposes.
5 * Copyright (C) 1994, 1995 by Waldorf Electronics, written by Ralf Baechle.
6 * Copyright (C) 1999 by Silicon Graphics, Inc.
7 * Copyright (C) 1999 by Harald Koerfgen
9 #include <linux/kernel.h>
12 #include <asm/mipsregs.h>
13 #include <asm/mmu_context.h>
15 #include <asm/tlbdebug.h>
17 extern int r3k_have_wired_reg
;
19 void dump_tlb_regs(void)
21 pr_info("Index : %0x\n", read_c0_index());
22 pr_info("EntryHi : %0lx\n", read_c0_entryhi());
23 pr_info("EntryLo : %0lx\n", read_c0_entrylo0());
24 if (r3k_have_wired_reg
)
25 pr_info("Wired : %0x\n", read_c0_wired());
28 static void dump_tlb(int first
, int last
)
32 unsigned long entryhi
, entrylo0
, asid_mask
;
34 asid_mask
= cpu_asid_mask(¤t_cpu_data
);
35 asid
= read_c0_entryhi() & asid_mask
;
37 for (i
= first
; i
<= last
; i
++) {
44 entryhi
= read_c0_entryhi();
45 entrylo0
= read_c0_entrylo0();
47 /* Unused entries have a virtual address of KSEG0. */
48 if ((entryhi
& PAGE_MASK
) != KSEG0
&&
49 (entrylo0
& R3K_ENTRYLO_G
||
50 (entryhi
& asid_mask
) == asid
)) {
52 * Only print entries in use
54 printk("Index: %2d ", i
);
56 pr_cont("va=%08lx asid=%08lx"
57 " [pa=%06lx n=%d d=%d v=%d g=%d]",
61 (entrylo0
& R3K_ENTRYLO_N
) ? 1 : 0,
62 (entrylo0
& R3K_ENTRYLO_D
) ? 1 : 0,
63 (entrylo0
& R3K_ENTRYLO_V
) ? 1 : 0,
64 (entrylo0
& R3K_ENTRYLO_G
) ? 1 : 0);
69 write_c0_entryhi(asid
);
72 void dump_tlb_all(void)
74 dump_tlb(0, current_cpu_data
.tlbsize
- 1);