tree 24a04741541ea6dbdd569376bb8d5ef6bdb23995
parent 44d3c218224390a6e1a51a6dfdce32e5e1a9f5cf
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531298805 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531486963 +0100

xlat v2: Remove unused tlbi helper

xlat_arch_tlbi_va_regime() isn't used, so it has been renamed to
xlat_arch_tlbi_va() and the previous implementation has been removed.

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