diff --git a/include/services/sdei.h b/include/services/sdei.h
index ee3531c..79d1d06 100644
--- a/include/services/sdei.h
+++ b/include/services/sdei.h
@@ -183,6 +183,6 @@
 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);
+int sdei_dispatch_event(int ev_num);
 
 #endif /* __SDEI_H__ */