]> git.baikalelectronics.ru Git - arm-tf.git/commitdiff
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)
Ensure the correct execution of TLBI instructions


Trivial merge