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;