diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-02-19 13:53:48 +0000 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-02-21 13:54:55 +0000 |
| commit | 6bf0e079303545ad6dd314ce3e7cb3a11dcec413 (patch) | |
| tree | 25ea1d115147da95470962d9098063ed770a750d /services | |
| parent | 5ff5a6d9c33fdf8b626a4e61066f467f2b5c75a9 (diff) | |
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>
Diffstat (limited to 'services')
| -rw-r--r-- | services/std_svc/spm/secure_partition_setup.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/services/std_svc/spm/secure_partition_setup.c b/services/std_svc/spm/secure_partition_setup.c index c1f0edf6..6998dae5 100644 --- a/services/std_svc/spm/secure_partition_setup.c +++ b/services/std_svc/spm/secure_partition_setup.c @@ -54,6 +54,7 @@ void secure_partition_setup(void) /* Invalidate TLBs at EL1. */ tlbivmalle1(); + dsbish(); /* * General-Purpose registers |