diff options
| author | davidcunado-arm <david.cunado@arm.com> | 2017-11-23 00:39:55 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-23 00:39:55 +0000 |
| commit | fe964ecf1201ab8f0286eba8c3cb3e6eb1a306ad (patch) | |
| tree | 010d95bedc1d64315b7a00cc18c1e350d85f9e71 /lib | |
| parent | e2ff5ef8618c0d1213f783875bf15a6e601a2d48 (diff) | |
| parent | 6504b2c5b0bb782b2afa176e42593d20359677d3 (diff) | |
| download | platform_external_arm-trusted-firmware-fe964ecf1201ab8f0286eba8c3cb3e6eb1a306ad.tar.gz platform_external_arm-trusted-firmware-fe964ecf1201ab8f0286eba8c3cb3e6eb1a306ad.tar.bz2 platform_external_arm-trusted-firmware-fe964ecf1201ab8f0286eba8c3cb3e6eb1a306ad.zip | |
Merge pull request #1163 from antonio-nino-diaz-arm/an/parange
Add ARMv8.2 ID_AA64MMFR0_EL1.PARange value
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/xlat_tables/aarch64/xlat_tables.c | 5 | ||||
| -rw-r--r-- | lib/xlat_tables_v2/aarch64/xlat_tables_arch.c | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/lib/xlat_tables/aarch64/xlat_tables.c b/lib/xlat_tables/aarch64/xlat_tables.c index 28ae1f73b..eabc3df9a 100644 --- a/lib/xlat_tables/aarch64/xlat_tables.c +++ b/lib/xlat_tables/aarch64/xlat_tables.c @@ -60,7 +60,10 @@ static unsigned long long calc_physical_addr_size_bits( /* Physical Address ranges supported in the AArch64 Memory Model */ static const unsigned int pa_range_bits_arr[] = { PARANGE_0000, PARANGE_0001, PARANGE_0010, PARANGE_0011, PARANGE_0100, - PARANGE_0101 + PARANGE_0101, +#if ARM_ARCH_AT_LEAST(8, 2) + PARANGE_0110, +#endif }; static unsigned long long get_max_supported_pa(void) diff --git a/lib/xlat_tables_v2/aarch64/xlat_tables_arch.c b/lib/xlat_tables_v2/aarch64/xlat_tables_arch.c index 433110794..aa5b9e546 100644 --- a/lib/xlat_tables_v2/aarch64/xlat_tables_arch.c +++ b/lib/xlat_tables_v2/aarch64/xlat_tables_arch.c @@ -48,7 +48,10 @@ unsigned long long tcr_physical_addr_size_bits(unsigned long long max_addr) /* Physical Address ranges supported in the AArch64 Memory Model */ static const unsigned int pa_range_bits_arr[] = { PARANGE_0000, PARANGE_0001, PARANGE_0010, PARANGE_0011, PARANGE_0100, - PARANGE_0101 + PARANGE_0101, +#if ARM_ARCH_AT_LEAST(8, 2) + PARANGE_0110, +#endif }; unsigned long long xlat_arch_get_max_supported_pa(void) |