Merge pull request #1161 from jeenu-arm/sdei-fixes
authordavidcunado-arm <david.cunado@arm.com>
Wed, 22 Nov 2017 13:57:03 +0000 (13:57 +0000)
committerGitHub <noreply@github.com>
Wed, 22 Nov 2017 13:57:03 +0000 (13:57 +0000)
commita2d60b20ffcd63c057807a648bcda591ad087433
treefc438b7e9fae70aec5dcf9c6976c34c52dc6b292
parentec04e0f46db3e24f26a84609006b5ef3e458cb3f
parent1a0f8f3957a371b05a147cbfbd8826fa14ae407f
Merge pull request #1161 from jeenu-arm/sdei-fixes

SDEI fixes