12345678/* DO NOT USE THE PRECOMPILED HEADER FOR THIS FILE! */ #include <ntdef.h>#include <initguid.h>#include <ntddmou.h> /* NO CODE HERE, THIS IS JUST REQUIRED FOR THE GUID DEFINITIONS */