Merge pull request #1916 from antonio-nino-diaz-arm/an/spm-xlat
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Wed, 3 Apr 2019 10:20:47 +0000 (11:20 +0100)
committerGitHub <noreply@github.com>
Wed, 3 Apr 2019 10:20:47 +0000 (11:20 +0100)
SPM: Some improvements to xlat handling code


Trivial merge