[review] core: add support for paging of user TAs

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>

core/arch/arm/mm/tee_pager.c

@@ -364,7 +364,7 @@ bool tee_pager_add_core_area(vaddr_t base, size_t size, uint32_t flags,
 
 	if ((flags & TEE_MATTR_PW) && (store || hashes))
 		panic("non-write pages must provide store and hashes");
-		
+
 	if (!pager_core_pgt.tbl) {
 		pager_core_pgt.tbl = ti->table;
 		pgt_set_used_entries(&pager_core_pgt,
@@ -847,7 +847,7 @@ static struct tee_pager_pmem *tee_pager_get_page(struct tee_pager_area *area)
 static bool pager_update_permissions(struct tee_pager_area *area,
 			struct abort_info *ai, bool *handled)
 {
-	unsigned pgidx = area_va2idx(area, ai->va);
+	unsigned int pgidx = area_va2idx(area, ai->va);
 	uint32_t attr;
 	paddr_t pa;