tree f15d1c6d4e6a0f6055d8b6b470fad942ce947db3
parent 789a2ce230d376e897aa14a14c221d11b2379e7f
parent 344ff027df1ea4c42f6d9415036de90ceac40290
author Antonio Niño Díaz <antonio.ninodiaz@arm.com> 1540563483 +0200
committer GitHub <noreply@github.com> 1540563483 +0200

Merge pull request #1647 from antonio-nino-diaz-arm/an/setup-xlat

Improvements to setup page tables code