Antonio Nino Diaz 6bf0e07930 Ensure the correct execution of TLBI instructions ... After executing a TLBI a DSB is needed to ensure completion of the TLBI. rk3328: The MMU is allowed to load TLB entries for as long as it is enabled. Because of this, the correct place to execute a TLBI is right after disabling the MMU. Change-Id: I8280f248d10b49a8c354a4ccbdc8f8345ac4c170 Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>		2018-02-21 13:54:55 +00:00
..
drivers	Ensure the correct execution of TLBI instructions	2018-02-21 13:54:55 +00:00
include	Fix usage of IMAGE_BLx macros	2017-11-01 08:28:04 +00:00
platform.mk	Disable workaround for CVE-2017-5715 on unaffected platforms	2018-01-29 09:58:56 +00:00
rk3328_def.h	Use SPDX license identifiers for remaining files	2017-05-10 15:16:34 +01:00