Antonio Nino Diaz
authored
Changed the names for consistency with the rest of the library. Introduced
new helpers that manipulate the active translation tables context.
Change-Id: Icaca56b67fcf6a96e88aa3c7e47411162e8e6856
Signed-off-by:
Antonio Nino Diaz <antonio.ninodiaz@arm.com>