/* DO NOT USE THE PRECOMPILED HEADER FOR THIS FILE! */ #include <ntdef.h> #include <initguid.h> #include <ioevent.h> #include <wdmguid.h> #define DEVICE_TYPE ULONG #include <ntddstor.h> /* NO CODE HERE, THIS IS JUST REQUIRED FOR THE GUID DEFINITIONS */