Merge pull request #1539 from antonio-nino-diaz-arm/an/gic-misra
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 30 Aug 2018 15:08:25 +0000 (16:08 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Aug 2018 15:08:25 +0000 (16:08 +0100)
commit612fa950067dfed6ffd4aa6bbfdf57a31e72775a
tree3d7cc8495383a0eb9b256e726b424b8cddad997b
parentfe73b70470c46585cf4931d7f2ea78b9c6483769
parentfe747d576fa24e554b71f8c50940912df011440d
Merge pull request #1539 from antonio-nino-diaz-arm/an/gic-misra

MISRA fixes for the GIC driver