diff options
author | davidcunado-arm <david.cunado@arm.com> | 2018-02-26 10:42:55 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-26 10:42:55 +0000 |
commit | 5ff6da948710361dec294f4b5106978501531caf (patch) | |
tree | eb8423c1ec4682b4adabe01a4d96474a652aa974 /services | |
parent | 4b26f79ac0b36a7a16d8b58057f8142a68f318ac (diff) | |
parent | 6bf0e079303545ad6dd314ce3e7cb3a11dcec413 (diff) |
Merge pull request #1273 from antonio-nino-diaz-arm/an/fix-tlbi-disable-mmu
Ensure the correct execution of TLBI instructions
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 |