Merge pull request #1564 from jeenu-arm/sdei-suspend
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 7 Sep 2018 14:05:28 +0000 (15:05 +0100)
committerGitHub <noreply@github.com>
Fri, 7 Sep 2018 14:05:28 +0000 (15:05 +0100)
SDEI: Mask events after CPU wakeup


Trivial merge