commit cf1f2219dc2d978fdedacd58a4da2cc4cd0264b5
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

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>

include/services/sdei.h

diff --git a/include/services/sdei.h b/include/services/sdei.h
index 72eb6d7..b07e93b 100644
--- a/include/services/sdei.h
+++ b/include/services/sdei.h
@@ -175,4 +175,7 @@
 
 void sdei_init(void);
 
+/* Public API to dispatch an event to Normal world */
+int sdei_dispatch_event(int ev_num, unsigned int preempted_sec_state);
+
 #endif /* __SDEI_H__ */