| commit | cf1f2219dc2d978fdedacd58a4da2cc4cd0264b5 | [log] [tgz] |
|---|---|---|
| author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Mon Oct 02 12:10:54 2017 +0100 |
| committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Mon Nov 13 08:38:51 2017 +0000 |
| tree | 1f1c48959706405a167c100a4f2bc660c047a7c8 | |
| parent | a5acc0a4ad8b495560114c177eba9b8d65e8c441 [diff] |
SDEI: Add API for explicit dispatch 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: Jeenu Viswambharan <jeenu.viswambharan@arm.com>