1 /* DO NOT USE THE PRECOMPILED HEADER FOR THIS FILE! */ 2 3 #include <wdm.h> 4 #include <initguid.h> 5 #include <wdmguid.h> 6 #include <usb.h> 7 #include <usbiodef.h> 8 #include <hubbusif.h> 9 #include <usbbusif.h> 10 11 /* NO CODE HERE, THIS IS JUST REQUIRED FOR THE GUID DEFINITIONS */ 12