aboutsummaryrefslogtreecommitdiff
path: root/lib/xlat_tables/xlat_tables_common.c
diff options
context:
space:
mode:
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>2016-12-08 16:03:46 +0000
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>2016-12-13 15:35:15 +0000
commitd3d6c6e3e9860024cda8766dbcf62f8022a68002 (patch)
tree221928bee02be9984273850108c2eec894a2647d /lib/xlat_tables/xlat_tables_common.c
parent1b5fa6ef1082ffb9979df4aad91525eda571eb50 (diff)
downloadtrusted-firmware-a-d3d6c6e3e9860024cda8766dbcf62f8022a68002.tar.gz
Assert correct granularity when mapping a PA
Each translation table level entry can only map a given virtual address onto physical addresses of the same granularity. For example, with the current configuration, a level 2 entry maps blocks of 2 MB, so the physical address must be aligned to 2 MB. If the address is not aligned, the MMU will just ignore the lower bits. This patch adds an assertion to make sure that physical addresses are always aligned to the correct boundary. Change-Id: I0ab43df71829d45cdbe323301b3053e08ca99c2c Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'lib/xlat_tables/xlat_tables_common.c')
-rw-r--r--lib/xlat_tables/xlat_tables_common.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/xlat_tables/xlat_tables_common.c b/lib/xlat_tables/xlat_tables_common.c
index ebbc916190..808aa33a58 100644
--- a/lib/xlat_tables/xlat_tables_common.c
+++ b/lib/xlat_tables/xlat_tables_common.c
@@ -198,6 +198,9 @@ static uint64_t mmap_desc(unsigned attr, unsigned long long addr_pa,
uint64_t desc;
int mem_type;
+ /* Make sure that the granularity is fine enough to map this address. */
+ assert((addr_pa & XLAT_BLOCK_MASK(level)) == 0);
+
desc = addr_pa;
/*
* There are different translation table descriptors for level 3 and the