svn path=/trunk/; revision=54094
/* FUNCTIONS **************************************************************/
-#include <ntddk.h>
+#include <wdm.h>
#include "parallel.h"
* USBD_GetPdoRegistryParameters (implemented)
*/
-#include <ntddk.h>
+#include <wdm.h>
#include <usbdi.h>
-#include <debug.h>
+
#ifndef PLUGPLAY_REGKEY_DRIVER
#define PLUGPLAY_REGKEY_DRIVER 2
#endif
#include <ntdef.h>
#include <dderror.h>
#include <miniport.h>
-#include <ntddvdeo.h>
#include <video.h>
#include "vmx_regs.h"
#include "dderror.h"
#include "devioctl.h"
#include "miniport.h"
-#include "ntddvdeo.h"
#include "video.h"
/* FIXME: NDK not compatible with miniport drivers */
-#include <ntddk.h>
-#include <debug.h>
+#include <wdm.h>
#include <time.h>
#include <sbdsp.h>