tree 3ea38a61385d4b42b302d56816cd50f626b95031
parent f66053372952f9f30ffc4da28080c36a38e17ce5
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1548421927 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1549023897 +0000

xlat v2: Fix comment

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