tree eb8423c1ec4682b4adabe01a4d96474a652aa974
parent cf0541e8dd9d40d822a1fdff2d247d171f63b859
parent eb24dffcda632333820c982d93d8290d0f28072c
author davidcunado-arm <david.cunado@arm.com> 1519641775 +0000
committer GitHub <noreply@github.com> 1519641775 +0000

Merge pull request #1273 from antonio-nino-diaz-arm/an/fix-tlbi-disable-mmu

Ensure the correct execution of TLBI instructions