synquacer: Enable MMU using xlat_tables_v2 library
BL31 runs from SRAM which is a non-coherent memory on synquacer. So
enable MMU with SRAM memory marked as Non-Cacheable and mark page tables
kept on SRAM as Non-Cacheable via XLAT_TABLE_NC flag. Also add page tables
for Device address space.
Signed-off-by: Sumit Garg <sumit.garg@linaro.org>
diff --git a/plat/socionext/synquacer/include/sq_common.h b/plat/socionext/synquacer/include/sq_common.h
index b72dfa7..b9600f0 100644
--- a/plat/socionext/synquacer/include/sq_common.h
+++ b/plat/socionext/synquacer/include/sq_common.h
@@ -8,6 +8,7 @@
#define __SQ_COMMON_H__
#include <sys/types.h>
+#include <xlat_tables_v2.h>
void plat_sq_interconnect_init(void);
void plat_sq_interconnect_enter_coherency(void);
@@ -21,4 +22,7 @@
void sq_gic_cpuif_disable(void);
void sq_gic_pcpu_init(void);
+void sq_mmap_setup(uintptr_t total_base, size_t total_size,
+ const struct mmap_region *mmap);
+
#endif /* __SQ_COMMON_H__ */