| commit | a93a2a70d841ea1ed5bd7a7b275b80bbef559b51 | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Fri Jun 22 11:38:12 2018 +0100 |
| committer | GitHub <noreply@github.com> | Fri Jun 22 11:38:12 2018 +0100 |
| tree | 5346453ae28e8c0359ec9175f3c220ad311aa0fc | |
| parent | 29b18bdde5e8b8306c638d5ecbcea63a6c8935e2 [diff] | |
| parent | dd6dad0a786d8e032c74c0a4cdac28f4b5fb299b [diff] |
Merge pull request #1442 from jeenu-arm/sdei-dispatch-fix SDEI: Fix dispatch bug