/* 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 */
