Merge pull request #1283 from jeenu-arm/sdei-fixes
authordavidcunado-arm <david.cunado@arm.com>
Tue, 27 Feb 2018 23:24:30 +0000 (23:24 +0000)
committerGitHub <noreply@github.com>
Tue, 27 Feb 2018 23:24:30 +0000 (23:24 +0000)
SDEI fixes

1  2 
docs/porting-guide.rst

Simple merge