Merge pull request #1218 from antonio-nino-diaz-arm/an/xlat-fix
authordavidcunado-arm <david.cunado@arm.com>
Tue, 16 Jan 2018 01:10:13 +0000 (01:10 +0000)
committerGitHub <noreply@github.com>
Tue, 16 Jan 2018 01:10:13 +0000 (01:10 +0000)
commit246b456900ca618b73bf633e0378965512988829
tree9eb12e741a1f5fcd85f994e13d670967fc40fe6e
parent0cd67c39511e8a370e17190a85e95357e715e8ee
parent96abc22b94b9871c77993be845e75af60f7ed3d9
Merge pull request #1218 from antonio-nino-diaz-arm/an/xlat-fix

xlat v2: Correctly unmap regions on map error