arm-trusted-firmware/bl1
Antonio Nino Diaz 883d1b5d4a Add comments about mismatched TCR_ELx and xlat tables
When the MMU is enabled and the translation tables are mapped, data
read/writes to the translation tables are made using the attributes
specified in the translation tables themselves. However, the MMU
performs table walks with the attributes specified in TCR_ELx. They are
completely independent, so special care has to be taken to make sure
that they are the same.

This has to be done manually because it is not practical to have a test
in the code. Such a test would need to know the virtual memory region
that contains the translation tables and check that for all of the
tables the attributes match the ones in TCR_ELx. As the tables may not
even be mapped at all, this isn't a test that can be made generic.

The flags used by enable_mmu_xxx() have been moved to the same header
where the functions are.

Also, some comments in the linker scripts related to the translation
tables have been fixed.

Change-Id: I1754768bffdae75f53561b1c4a5baf043b45a304
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
2018-02-27 09:55:01 +00:00
..
aarch32 aarch32: use lr as bl32 boot argument on aarch32 only systems 2018-02-02 13:16:18 +01:00
aarch64 Ensure the correct execution of TLBI instructions 2018-02-21 13:54:55 +00:00
tbbr Use SPDX license identifiers 2017-05-03 09:39:28 +01:00
bl1.ld.S Add comments about mismatched TCR_ELx and xlat tables 2018-02-27 09:55:01 +00:00
bl1.mk bl2-el3: Don't compile BL1 when BL2_AT_EL3 is defined in FVP 2018-01-18 16:25:18 +00:00
bl1_fwu.c Fix order of #includes 2017-07-12 14:45:31 +01:00
bl1_main.c bl1: add bl1_plat_handle_{pre,post}_image_load() 2018-02-02 00:19:04 +09:00
bl1_private.h Use SPDX license identifiers 2017-05-03 09:39:28 +01:00