#ifndef USBEHCI_H__
#define USBEHCI_H__
+#define INITGUID
+
#include <ntddk.h>
-#define NDEBUG
-#include <debug.h>
#include <hubbusif.h>
#include <usbbusif.h>
#include <usbioctl.h>
#include <dmusicks.h>
#include <kcom.h>
+#include "hardware.h"
#include "interfaces.h"
//