core: fix core_mmu_map_pages()

Adds missing dsb_ishst() at the end of core_mmu_map_pages() needed to guarantee that changes to translation tables are visible. Reviewed-by: Etienne Carriere <[email protected]> Tested-by: Stuart Yoder <[email protected]> Reported-by: Stuart Yoder <[email protected]> Signed-off-by: Jens Wiklander <[email protected]>
OP-TEE · Sep 25, 2017 · 0c6da01 · 0c6da01
1 parent 23b8cea
commit 0c6da01
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/core/arch/arm/mm/core_mmu.c b/core/arch/arm/mm/core_mmu.c
@@ -1337,6 +1337,13 @@ TEE_Result core_mmu_map_pages(vaddr_t vstart, paddr_t *pages, size_t num_pages,
 		vaddr += SMALL_PAGE_SIZE;
 	}
 
+	/*
+	 * Make sure all the changes to translation tables are visible
+	 * before returning. TLB doesn't need to be invalidated as we are
+	 * guaranteed that there's no valid mapping in this range.
+	 */
+	dsb_ishst();
+
 	return TEE_SUCCESS;
 err:
 	if (i)