diff options
author | Jens Wiklander <jens.wiklander@linaro.org> | 2014-12-02 10:41:14 +0100 |
---|---|---|
committer | Jens Wiklander <jens.wiklander@linaro.org> | 2014-12-12 10:03:05 +0100 |
commit | f69755b7e7795c4de11ca50530479dbe24224f10 (patch) | |
tree | e84e6ce5db48e3329645f5b7529f5289419dadb5 /core/arch/arm32 | |
parent | a14bf579f96d6c0f11ba6a41434c1da345b557c3 (diff) |
tee_mm: remove legacy TEE_MM_POOL_PAGED define
Removes the legacy TEE_MM_POOL_PAGED define and unsused code
associated with it.
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Diffstat (limited to 'core/arch/arm32')
-rw-r--r-- | core/arch/arm32/mm/tee_mm.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/core/arch/arm32/mm/tee_mm.c b/core/arch/arm32/mm/tee_mm.c index cb04248..b742481 100644 --- a/core/arch/arm32/mm/tee_mm.c +++ b/core/arch/arm32/mm/tee_mm.c @@ -230,12 +230,6 @@ void tee_mm_free(tee_mm_entry_t *p) } entry->next = entry->next->next; - if (p->pool->flags & TEE_MM_POOL_PAGED) { - /* unmap entry */ - tee_pager_unmap((uint32_t)(p->offset << p->pool->shift) + - p->pool->lo, p->size); - } - free(p); /* Protect with mutex end (multi thread) */ |