From 14447dc618a3007bf17dd27c03f7fec095efbc6f Mon Sep 17 00:00:00 2001
From: Valentina Fernandez <valentina.fernandezalanis@microchip.com>
Date: Wed, 13 Jul 2022 10:56:47 +0100
Subject: [PATCH] Debug tlb_flush with reserved memory

---
 arch/riscv/boot/dts/microchip/Makefile        |   1 +
 .../microchip/mpfs-icicle-kit-context-a.dts   | 203 ++++++++++++++++++
 arch/riscv/mm/init.c                          |   9 +-
 drivers/of/of_reserved_mem.c                  |   6 +
 include/linux/of_reserved_mem.h               |   2 +
 5 files changed, 220 insertions(+), 1 deletion(-)
 create mode 100644 arch/riscv/boot/dts/microchip/mpfs-icicle-kit-context-a.dts

diff --git a/arch/riscv/mm/init.c b/arch/riscv/mm/init.c
index d466ec670e1f..5458519c3eb4 100644
--- a/arch/riscv/mm/init.c
+++ b/arch/riscv/mm/init.c
@@ -20,7 +20,7 @@
 #include <linux/dma-map-ops.h>
 #include <linux/crash_dump.h>
 #include <linux/hugetlb.h>
-
+#include <linux/of_reserved_mem.h>
 #include <asm/fixmap.h>
 #include <asm/tlbflush.h>
 #include <asm/sections.h>
@@ -1112,8 +1112,15 @@ static void __init setup_vm_final(void)
 
 	/* Move to swapper page table */
 	csr_write(CSR_SATP, PFN_DOWN(__pa_symbol(swapper_pg_dir)) | satp_mode);
+
+	pr_err("before flush\n");
+	print_reserved_mem();
+
 	local_flush_tlb_all();
 
+	pr_err("after flush\n");
+	print_reserved_mem();
+
 	pt_ops_set_late();
 }
 #else
diff --git a/drivers/of/of_reserved_mem.c b/drivers/of/of_reserved_mem.c
index 75caa6f5d36f..6aaebb05730d 100644
--- a/drivers/of/of_reserved_mem.c
+++ b/drivers/of/of_reserved_mem.c
@@ -445,3 +445,9 @@ struct reserved_mem *of_reserved_mem_lookup(struct device_node *np)
 	return NULL;
 }
 EXPORT_SYMBOL_GPL(of_reserved_mem_lookup);
+
+void print_reserved_mem(void)
+{
+	pr_err("debug name is %s\n", reserved_mem[0].name);
+}
+EXPORT_SYMBOL_GPL(print_reserved_mem);
\ No newline at end of file
diff --git a/include/linux/of_reserved_mem.h b/include/linux/of_reserved_mem.h
index 4de2a24cadc9..1fe504af3944 100644
--- a/include/linux/of_reserved_mem.h
+++ b/include/linux/of_reserved_mem.h
@@ -40,6 +40,8 @@ int of_reserved_mem_device_init_by_name(struct device *dev,
 void of_reserved_mem_device_release(struct device *dev);
 
 struct reserved_mem *of_reserved_mem_lookup(struct device_node *np);
+
+void print_reserved_mem(void);
 #else
 
 #define RESERVEDMEM_OF_DECLARE(name, compat, init)			\
-- 
2.25.1