Index: /trunk/src/VBox/Runtime/r0drv/solaris/semeventwait-r0drv-solaris.h
===================================================================
--- /trunk/src/VBox/Runtime/r0drv/solaris/semeventwait-r0drv-solaris.h	(revision 54708)
+++ /trunk/src/VBox/Runtime/r0drv/solaris/semeventwait-r0drv-solaris.h	(revision 54709)
@@ -466,12 +466,7 @@
          *       or not and only call swtch if RTThreadPreemptDisable() wasn't called.
          */
-#if 0   /* Temporarily disabled, for @bugref{7726}. */
         kthread_t **ppIntrThread = SOL_THREAD_TINTR_PTR;
         if (   *ppIntrThread
             && getpil() < DISP_LEVEL)
-#else
-        if (   curthread->t_intr
-            && getpil() < DISP_LEVEL)
-#endif
         {
             RTTHREADPREEMPTSTATE PreemptState = RTTHREADPREEMPTSTATE_INITIALIZER;