+#ifndef _I8042PRT_PCH_
+#define _I8042PRT_PCH_
#include <ntifs.h>
#include <kbdmou.h>
#include <bugcodes.h>
#include <poclass.h>
#include <kdfuncs.h>
-#include <debug.h>
/*-----------------------------------------------------
* Structures
ReadRegistryEntries(
IN PUNICODE_STRING RegistryPath,
OUT PI8042_SETTINGS Settings);
+
+#endif /* _I8042PRT_PCH_ */