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)
commit9aabd11a424770e11dd89251960678d3e3332df6
treef15d1c6d4e6a0f6055d8b6b470fad942ce947db3
parent31abc7c45428398a330a3a940fe4dd7efa6c96f2
parent0916c38deca4a2e26720da6b1aa1e15de87f9a34
Merge pull request #1647 from antonio-nino-diaz-arm/an/setup-xlat

Improvements to setup page tables code