Merge pull request #1647 from antonio-nino-diaz-arm/an/setup-xlat
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 26 Oct 2018 14:18:03 +0000 (16:18 +0200)
committerGitHub <noreply@github.com>
Fri, 26 Oct 2018 14:18:03 +0000 (16:18 +0200)
Improvements to setup page tables code


Trivial merge