diff options
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-06-22 11:38:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-22 11:38:12 +0100 |
| commit | d87abe6a05a0f9f4bdf3ca0581b93596ada9d067 (patch) | |
| tree | 5346453ae28e8c0359ec9175f3c220ad311aa0fc /include | |
| parent | 9dfd755303abcea6b58849793367639a8531b6fd (diff) | |
| parent | 297a9a0f7cdbf96b2ab854108ab9281e0e3a6de7 (diff) | |
| download | platform_external_arm-trusted-firmware-d87abe6a05a0f9f4bdf3ca0581b93596ada9d067.tar.gz platform_external_arm-trusted-firmware-d87abe6a05a0f9f4bdf3ca0581b93596ada9d067.tar.bz2 platform_external_arm-trusted-firmware-d87abe6a05a0f9f4bdf3ca0581b93596ada9d067.zip | |
Merge pull request #1442 from jeenu-arm/sdei-dispatch-fix
SDEI: Fix dispatch bug
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions