commit | 5ff6da948710361dec294f4b5106978501531caf | [log] [tgz] |
---|---|---|
author | davidcunado-arm <david.cunado@arm.com> | Mon Feb 26 10:42:55 2018 +0000 |
committer | GitHub <noreply@github.com> | Mon Feb 26 10:42:55 2018 +0000 |
tree | eb8423c1ec4682b4adabe01a4d96474a652aa974 | |
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