diff options
Diffstat (limited to 'include/services/sdei.h')
| -rw-r--r-- | include/services/sdei.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/services/sdei.h b/include/services/sdei.h index 72eb6d7d..b07e93b1 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__ */ |