tree 3ea38a61385d4b42b302d56816cd50f626b95031
parent de97ff3bc6e939f323a2e8f343b47aaf2218ade9
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>