Merge pull request #1435 from antonio-nino-diaz-arm/an/xlat-fix
authorDimitris Papastamos <[email protected]>
Thu, 21 Jun 2018 12:35:48 +0000 (13:35 +0100)
committerGitHub <[email protected]>
Thu, 21 Jun 2018 12:35:48 +0000 (13:35 +0100)
xlat_v2: Fix descriptor debug print


Trivial merge