diff --git a/dix/dispatch.c b/dix/dispatch.c
index cd1ce6790..daa593e10 100644
--- a/dix/dispatch.c
+++ b/dix/dispatch.c
@@ -147,6 +147,11 @@ static int nextFreeClientID; /* always MIN free client ID */
 
 static int	nClients;	/* number of authorized clients */
 
+#if defined(DDXOSRESET)
+extern void OsVendorReset ();
+#endif
+
+
 CallbackListPtr ClientStateCallback;
 char dispatchException = 0;
 char isItTimeToYield;
@@ -466,6 +471,9 @@ Dispatch(void)
 	}
 	dispatchException &= ~DE_PRIORITYCHANGE;
     }
+#if defined(DDXOSRESET)
+    OsVendorReset ();
+#endif
     KillAllClients();
     DEALLOCATE_LOCAL(clientReady);
     dispatchException &= ~DE_RESET;