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