tree e8aa8a945683d73df06077b0417700525b16daf5
parent 83471b2965f943348064e153c31573282cd753fc
author Jens Wiklander <jens.wiklander@linaro.org> 1575455101 +0100
committer Jérôme Forissier <jerome@forissier.org> 1576585426 +0100

core: fix tee_pager_release_one_phys() assert

Prior to this patch it was assumed in tee_pager_release_one_phys() that
a locked fobj would not span multiple page directories. This is not
correct since it depends on the base address and size of the locked
fobj. If the base address is close to the end of a page directory it can
very well happen. With CFG_CORE_ASLR=y this is bound to happen sooner or
later even if everything seems to work with CFG_CORE_ASLR=n. This patch
fixes this by instead counting the number of areas which uses the pmem
to be released. The number should be exactly one.

Acked-by: Jerome Forissier <jerome@forissier.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>