Merge pull request #1617 from antonio-nino-diaz-arm/an/bugfix
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Mon, 8 Oct 2018 16:34:59 +0000 (17:34 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Oct 2018 16:34:59 +0000 (17:34 +0100)
xlat: Fix checks in mmap_add() and mmap_add_ctx()


Trivial merge