tree 5346453ae28e8c0359ec9175f3c220ad311aa0fc
parent 9dfd755303abcea6b58849793367639a8531b6fd
parent 297a9a0f7cdbf96b2ab854108ab9281e0e3a6de7
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1529663892 +0100
committer GitHub <noreply@github.com> 1529663892 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJbLNGUCRBK7hj4Ov3rIwAAdHIIAIghZp2NP1hO3YvlCzBGtiuW
 pWpi5xEC6os1Gy2Md1AgUJpp3fToTvxvWK1nhoDGgpN9pj2/45T6z6O+8CPylq+8
 +G0lpa1zHG+B7B30/15/9mvlaFd0v27ze4j+yLb4YR+JfV2b0zDZ6OexXG99ZYtB
 AtoB9Jw7PlB2HmNiCHWupFrNCqgbaUbMs4xBGaJRlSFfCiFGw+FQz6vXbGwnWDbx
 bLwYDAaluRaGeLbQIP6M4xSPAtP27Cg39XGcIoISiVP9/CwMh+fRLXnkanOZvsfc
 wqCpTLYrp7x2FsvxcSrKtXpzBA15PyDnS866rAF+HimAFrtfmqngkGppzJt0x6I=
 =mg9z
 -----END PGP SIGNATURE-----
 

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

SDEI: Fix dispatch bug