Merge pull request #1333 from jeenu-arm/icfg-fix
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 29 Mar 2018 12:19:04 +0000 (13:19 +0100)
committerGitHub <noreply@github.com>
Thu, 29 Mar 2018 12:19:04 +0000 (13:19 +0100)
GIC: Fix interrupt setting interrupt configuration


Trivial merge