+++ /dev/null
-/* DO NOT USE THE PRECOMPILED HEADER FOR THIS FILE! */
-
-#include <wdm.h>
-#include <initguid.h>
-#include <wdmguid.h>
-#include <hubbusif.h>
-#include <usbbusif.h>
-
-/* NO CODE HERE, THIS IS JUST REQUIRED FOR THE GUID DEFINITIONS */