index 87a1fb7..9ae3be1 100644
--- a/services/std_svc/sdei/sdei_intr_mgmt.c
+++ b/services/std_svc/sdei/sdei_intr_mgmt.c
@@ -644,21 +644,10 @@
*/
ns_ctx = restore_and_resume_ns_context();
- /* Activate the priority corresponding to the event being dispatched */
- ehf_activate_priority(sdei_event_priority(map));
-
/* Dispatch event synchronously */
setup_ns_dispatch(map, se, ns_ctx, &dispatch_jmp);
begin_sdei_synchronous_dispatch(&dispatch_jmp);
- /*
- * We reach here when a client completes the event.
- *
- * Deactivate the priority level that was activated at the time of
- * explicit dispatch.
- */
- ehf_deactivate_priority(sdei_event_priority(map));
-
return 0;