warp7: Print out the OPTEE DRAM region

Right now a region of 0x300000 bytes is allocated at the end of DRAM for
the purposes of loading an OPTEE firmware inside of it. This patch adds the
printout of the relevant address ranges.

Signed-off-by: Bryan O'Donoghue <[email protected]>
Tested-by: Breno Lima <[email protected]>
Reviewed-by: Fabio Estevam <[email protected]>

diff --git a/board/warp7/warp7.c b/board/warp7/warp7.c
index 56f0cdd17592c9a77484d18d38ef1f0017c50847..da52b183bd1ccbed5eb934a47c9de38d2f308e4c 100644 (file)
--- a/board/warp7/warp7.c
+++ b/board/warp7/warp7.c
@@ -181,7 +181,17 @@ int checkboard(void)
        else
                mode = "non-secure";
 
+#ifdef CONFIG_OPTEE_TZDRAM_SIZE
+       unsigned long optee_start, optee_end;
+
+       optee_end = PHYS_SDRAM + PHYS_SDRAM_SIZE;
+       optee_start = optee_end - CONFIG_OPTEE_TZDRAM_SIZE;
+
+       printf("Board: WARP7 in %s mode OPTEE DRAM 0x%08lx-0x%08lx\n",
+              mode, optee_start, optee_end);
+#else
        printf("Board: WARP7 in %s mode\n", mode);
+#endif
 
        return 0;
 }