Index: /trunk/src/VBox/Additions/common/VBoxGuest/VBoxGuest-win.cpp
===================================================================
--- /trunk/src/VBox/Additions/common/VBoxGuest/VBoxGuest-win.cpp	(revision 38868)
+++ /trunk/src/VBox/Additions/common/VBoxGuest/VBoxGuest-win.cpp	(revision 38869)
@@ -518,4 +518,26 @@
     if (pDevExt)
     {
+
+#if 0 /* @todo: test & enable cleaning global session data */
+#ifdef VBOX_WITH_HGCM
+    if (pDevExt->win.s.pKernelSession)
+    {
+        VBoxGuestCloseSession(pDevExt, pDevExt->win.s.pKernelSession);
+        pDevExt->win.s.pKernelSession = NULL;
+    }
+#endif
+#endif
+
+#ifndef TARGET_NT4
+        if (pDevExt->win.s.pInterruptObject)
+        {
+            IoDisconnectInterrupt(pDevExt->win.s.pInterruptObject);
+            pDevExt->win.s.pInterruptObject = NULL;
+        }
+#endif
+
+        /* @todo: cleanup the rest stuff */
+
+
 #ifdef VBOX_WITH_GUEST_BUGCHECK_DETECTION
         hlpDeregisterBugCheckCallback(pDevExt); /* ignore failure! */