diff --git a/reactos/include/win32k/debug.h b/reactos/include/win32k/debug.h
new file mode 100644
index 00000000000..a5b56693561
--- /dev/null
+++ b/reactos/include/win32k/debug.h
@@ -0,0 +1,12 @@
+
+#ifndef  H_WIN32K_DEBUG
+#define  H_WIN32K_DEBUG
+
+#ifdef CHECKED_BUILD
+#define  FIXME(S) DbgPrint ("win32k: FIXME at: File:%s line:%d reason:%s", __FILE__, __LINE__, S)
+#else
+#define  FIXME(S)
+#endif
+
+#endif
+