diff --git a/reactos/include/win32k/misc.h b/reactos/include/win32k/misc.h
index 08b49b33108..f1f9e58f408 100644
--- a/reactos/include/win32k/misc.h
+++ b/reactos/include/win32k/misc.h
@@ -1,8 +1,6 @@
 #ifndef __WIN32K_MISC_H
 #define __WIN32K_MISC_H
 
-#include <internal/ps.h>
-
 /* Process context in which miniport driver is opened/used */
 extern PEPROCESS W32kDeviceProcess;
 
@@ -12,6 +10,6 @@ W32kInitialize (VOID);
 
 VOID
 FASTCALL
-DestroyThreadWindows(PETHREAD Thread);
+DestroyThreadWindows(struct _ETHREAD *Thread);
 
 #endif /* __WIN32K_MISC_H */