tree f15d1c6d4e6a0f6055d8b6b470fad942ce947db3
parent 61aff00632a511b54936b4c156f5e447dfdbcc7e
author Roberto Vargas <roberto.vargas@arm.com> 1539963858 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1540562130 +0100

Convert arm_setup_page_tables into a generic helper

This function is not related to Arm platforms and can be reused by other
platforms if needed.

Change-Id: Ia9c328ce57ce7e917b825a9e09a42b0abb1a53e8
Co-authored-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>