Merge pull request #646 from davwan01/dw/gicv3-wakeup
authordanh-arm <dan.handley@arm.com>
Mon, 13 Jun 2016 10:09:08 +0000 (11:09 +0100)
committerGitHub <noreply@github.com>
Mon, 13 Jun 2016 10:09:08 +0000 (11:09 +0100)
CSS: Add support to wake up the core from wfi in GICv3


Trivial merge