Ensure the correct execution of TLBI instructions
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Mon, 19 Feb 2018 13:53:48 +0000 (13:53 +0000)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Wed, 21 Feb 2018 13:54:55 +0000 (13:54 +0000)
commit6bf0e079303545ad6dd314ce3e7cb3a11dcec413
tree25ea1d115147da95470962d9098063ed770a750d
parent5ff5a6d9c33fdf8b626a4e61066f467f2b5c75a9
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>
bl1/aarch64/bl1_exceptions.S
plat/rockchip/rk3328/drivers/pmu/pmu.c
services/std_svc/spm/secure_partition_setup.c