OP-TEE/optee_os — pull request #106 by pascal-brand-st-dev (2014-11-06 13:49:08+00:00)
Title: Fix sections to map

As highlighted by z08053520@126.com, MMU mapping functions tee_mmu_is_mapped()
and tee_mmu_map_io() wrongly compute the number of sections to check / map.

This patch checks / maps only the relevant sections.

Signed-off-by: Pascal Brand
Reviewed-by: Jens Wiklander
Tested-by: Pascal Brand (STM platform)