/* DO NOT USE THE PRECOMPILED HEADER FOR THIS FILE! */

#include <wdm.h>
#include <initguid.h>
#include <ntddk.h>
#include <wdmguid.h>

/* NO CODE HERE, THIS IS JUST REQUIRED FOR THE GUID DEFINITIONS */
