An error occurred while fetching folder content.
SDEI: Add API for explicit dispatch
Jeenu Viswambharan authored
This allows for other EL3 components to schedule an SDEI event dispatch
to Normal world upon the next ERET. The API usage constrains are set out
in the SDEI dispatcher documentation.

Documentation to follow.

Change-Id: Id534bae0fd85afc94523490098c81f85c4e8f019
Signed-off-by: default avatarJeenu Viswambharan <jeenu.viswambharan@arm.com>
55a1266e
Name Last commit Last update