Merge pull request #1283 from jeenu-arm/sdei-fixes
SDEI fixes
commit b39d2896b3f6e79c98ea781ee20ad639793ae135
2 parents ba91a00 + f2928f5
@davidcunado-arm davidcunado-arm authored on 27 Feb 2018
GitHub committed on 27 Feb 2018
Showing 2 changed files
View
docs/porting-guide.rst
View
services/std_svc/sdei/sdei_intr_mgmt.c