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

#include <ntdef.h>
#include <initguid.h>
#include <ioevent.h>

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