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 /include/plat/common/platform.h | |
parent | 4b26f79ac0b36a7a16d8b58057f8142a68f318ac (diff) | |
parent | 6bf0e079303545ad6dd314ce3e7cb3a11dcec413 (diff) | |
download | trusted-firmware-a-5ff6da948710361dec294f4b5106978501531caf.tar.gz |
Merge pull request #1273 from antonio-nino-diaz-arm/an/fix-tlbi-disable-mmu
Ensure the correct execution of TLBI instructions
Diffstat (limited to 'include/plat/common/platform.h')
0 files changed, 0 insertions, 0 deletions