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__ */