Merge pull request #1341 from vwadekar/improve-mmap-efficiency
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Tue, 10 Apr 2018 12:17:16 +0000 (13:17 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Apr 2018 12:17:16 +0000 (13:17 +0100)
lib: xlat_tables_v2: reduce time required to add a mmap region


Trivial merge