Merge pull request #1815 from Anson-Huang/gic
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 1 Mar 2019 12:42:33 +0000 (12:42 +0000)
committerGitHub <noreply@github.com>
Fri, 1 Mar 2019 12:42:33 +0000 (12:42 +0000)
gic: make sure ProcessorSleep bit clear successfully


Trivial merge