Merge pull request #1841 from antonio-nino-diaz-arm/an/fix-gensmc
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Wed, 27 Feb 2019 17:15:13 +0000 (17:15 +0000)
committerGitHub <noreply@github.com>
Wed, 27 Feb 2019 17:15:13 +0000 (17:15 +0000)
trusty: Include file with GIC definitions


Trivial merge