From 55a1266ec87b39b5b77341760a40a9a93f590286 Mon Sep 17 00:00:00 2001 From: Jeenu Viswambharan Date: Mon, 2 Oct 2017 12:10:54 +0100 Subject: 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 --- include/services/sdei.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'include') diff --git a/include/services/sdei.h b/include/services/sdei.h index 72eb6d7d1..b07e93b11 100644 --- a/include/services/sdei.h +++ b/include/services/sdei.h @@ -175,4 +175,7 @@ uint64_t sdei_smc_handler(uint32_t smc_fid, 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__ */ -- cgit v1.2.3