Merge pull request #1442 from jeenu-arm/sdei-dispatch-fix
SDEI: Fix dispatch bug
commit d87abe6a05a0f9f4bdf3ca0581b93596ada9d067
2 parents 9dfd755 + 297a9a0
@Dimitris Papastamos Dimitris Papastamos authored on 22 Jun 2018
GitHub committed on 22 Jun 2018
Showing 1 changed file
View
services/std_svc/sdei/sdei_intr_mgmt.c