Merge pull request #1437 from jeenu-arm/ras-remaining
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 22 Jun 2018 08:36:59 +0000 (09:36 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Jun 2018 08:36:59 +0000 (09:36 +0100)
SDEI dispatch changes to enable RAS use cases


Trivial merge