1 /* DO NOT USE THE PRECOMPILED HEADER FOR THIS FILE! */ 2 3 #include <ntdef.h> 4 #include <initguid.h> 5 #include <ioevent.h> 6 #include <wdmguid.h> 7 8 #define DEVICE_TYPE ULONG 9 #include <ntddstor.h> 10 11 /* NO CODE HERE, THIS IS JUST REQUIRED FOR THE GUID DEFINITIONS */ 12