Merge pull request #1443 from jeenu-arm/sdei-fixes
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 22 Jun 2018 11:42:17 +0000 (12:42 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Jun 2018 11:42:17 +0000 (12:42 +0100)
commitb70dcbc17222687859ac1cf58d4d7c5cb5c379fe
tree230d4a25cf1bf1b8197e5e447991371e6ddea34c
parentd87abe6a05a0f9f4bdf3ca0581b93596ada9d067
parent5e60c39a2ad683d0399d29014a0f4216b61c3dd4
Merge pull request #1443 from jeenu-arm/sdei-fixes

SDEI client EL determination fix