tree 81755f1298107f8ed05f10d46fb8171db558242c
parent ba91a001f8e2ad2f92a7c20270894fcb51365781
parent f2928f5baeb0b3f895bb84a99e54bc52a97908bf
author davidcunado-arm <david.cunado@arm.com> 1519773870 +0000
committer GitHub <noreply@github.com> 1519773870 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJaleiuCRBK7hj4Ov3rIwAAdHIIAKfvesceA4whyGG33sdmhHJD
 Tzq//BOAtDV6wJ/frSv8ZFm3Chyu5mXbHPPLyH5uKPwqofGWe8A9GwOCX1WvtY/l
 DnKtcmDDzXb83GqsbteOv03uMCWFnoRA+VzXMQ9wMZbVJ5FN94HsNTeA63kpo5q3
 +iDR8xosJBz1syfRxCcbf9vjLsbSU6loafweVC73uTaSgZGT6aJ14M8eidhIRrFU
 Q7AhRa5g0hCaYMLVO662wv7AxKiy4pW6dM9oFcoy6Us+edQ6clk7GEPBOViGBuqH
 KOexyuUQIma0QzgGoiOt0K9/sqRqPblOoLvStrJ/l8/0+oezQbuSGqX+YnueJyo=
 =WjX4
 -----END PGP SIGNATURE-----
 

Merge pull request #1283 from jeenu-arm/sdei-fixes

SDEI fixes