core: pager: fix warning with CFG_PAGED_USER_TA=n

Fixes warning when using pager with CFG_PAGED_USER_TA=n. Reviewed-by: Etienne Carriere <[email protected]> Signed-off-by: Jens Wiklander <[email protected]>
clark-chen · Jan 23, 2017 · 538240b · 538240b
1 parent ed1993b
commit 538240b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/core/arch/arm/mm/tee_pager.c b/core/arch/arm/mm/tee_pager.c
@@ -568,7 +568,8 @@ static size_t area_va2idx(struct tee_pager_area *area, vaddr_t va)
 	return (va - (area->base & ~CORE_MMU_PGDIR_MASK)) >> SMALL_PAGE_SHIFT;
 }
 
-static vaddr_t area_idx2va(struct tee_pager_area *area, size_t idx)
+static vaddr_t __maybe_unused area_idx2va(struct tee_pager_area *area,
+					 size_t idx)
 {
 	return (idx << SMALL_PAGE_SHIFT) + (area->base & ~CORE_MMU_PGDIR_MASK);
 }