Merge pull request #1273 from antonio-nino-diaz-arm/an/fix-tlbi-disable-mmu
authordavidcunado-arm <david.cunado@arm.com>
Mon, 26 Feb 2018 10:42:55 +0000 (10:42 +0000)
committerGitHub <noreply@github.com>
Mon, 26 Feb 2018 10:42:55 +0000 (10:42 +0000)
commit5ff6da948710361dec294f4b5106978501531caf
treeeb8423c1ec4682b4adabe01a4d96474a652aa974
parent4b26f79ac0b36a7a16d8b58057f8142a68f318ac
parent6bf0e079303545ad6dd314ce3e7cb3a11dcec413
Merge pull request #1273 from antonio-nino-diaz-arm/an/fix-tlbi-disable-mmu

Ensure the correct execution of TLBI instructions