tree 5346453ae28e8c0359ec9175f3c220ad311aa0fc
parent 29b18bdde5e8b8306c638d5ecbcea63a6c8935e2
parent dd6dad0a786d8e032c74c0a4cdac28f4b5fb299b
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1529663892 +0100
committer GitHub <noreply@github.com> 1529663892 +0100

Merge pull request #1442 from jeenu-arm/sdei-dispatch-fix

SDEI: Fix dispatch bug