Merge pull request #1183 from jeenu-arm/sdei-reset-fix
authordavidcunado-arm <david.cunado@arm.com>
Sat, 9 Dec 2017 20:42:25 +0000 (20:42 +0000)
committerGitHub <noreply@github.com>
Sat, 9 Dec 2017 20:42:25 +0000 (20:42 +0000)
SDEI: Fix return value of reset calls


Trivial merge