Index: include/ddk/wdm.h
===================================================================
--- include/ddk/wdm.h	(revision 67545)
+++ include/ddk/wdm.h	(working copy)
@@ -43,6 +43,7 @@
 #include <ntstatus.h>
 #include <kernelspecs.h>
 #include <ntiologc.h>
+#include <suppress.h>
 
 #ifndef GUID_DEFINED
 #include <guiddef.h>