-some minor changes to be able to build the driver with PREfast

-declare I8042InterruptService* routines as KSERVICE_ROUTINE

svn path=/trunk/; revision=27430

reactos/drivers/input/i8042prt/i8042prt.c

@@ -10,11 +10,13 @@
 
 /* INCLUDES ****************************************************************/
 
-#define NDEBUG
-#include <debug.h>
-
 #include "i8042prt.h"
 
+#ifndef NDEBUG
+#define NDEBUG
+#endif
+#include <debug.h>
+
 /* GLOBALS *******************************************************************/
 
 /*

reactos/drivers/input/i8042prt/i8042prt.h

@@ -320,6 +320,7 @@ NTSTATUS STDCALL I8042SynchWritePortKbd(PVOID Context,
                                         UCHAR Value,
                                         BOOLEAN WaitForAck);
 
+KSERVICE_ROUTINE I8042InterruptServiceKbd;
 BOOLEAN STDCALL I8042InterruptServiceKbd(struct _KINTERRUPT *Interrupt,
                                          VOID * Context);
 
@@ -354,6 +355,7 @@ VOID STDCALL I8042DpcRoutineMouseTimeout(PKDPC Dpc,
                                          PVOID SystemArgument1,
                                          PVOID SystemArgument2);
 
+KSERVICE_ROUTINE I8042InterruptServiceMouse;
 BOOLEAN STDCALL I8042InterruptServiceMouse(struct _KINTERRUPT *Interrupt,
                                            VOID *Context);
 

reactos/drivers/input/i8042prt/keyboard.c

@@ -12,9 +12,14 @@
 /* INCLUDES ****************************************************************/
 
 #include "i8042prt.h"
-#include "kdfuncs.h"
 
+#ifdef __REACTOS__
+#include "kdfuncs.h"
+#endif
+
+#ifndef NDEBUG
 #define NDEBUG
+#endif
 #include <debug.h>
 
 /* GLOBALS *******************************************************************/

reactos/drivers/input/i8042prt/mouse.c

@@ -13,7 +13,9 @@
 
 #include "i8042prt.h"
 
+#ifndef NDEBUG
 #define NDEBUG
+#endif
 #include <debug.h>
 
 /*

reactos/drivers/input/i8042prt/ps2pp.c

@@ -9,14 +9,13 @@
 
 /* INCLUDES ****************************************************************/
 
+#include "i8042prt.h"
+
 #ifndef NDEBUG
 #define NDEBUG
 #endif
 #include <debug.h>
 
-#include "i8042prt.h"
-
-
 VOID I8042MouseHandlePs2pp(PDEVICE_EXTENSION DevExt, UCHAR Input)
 {
 	UCHAR PktType;

reactos/drivers/input/i8042prt/registry.c

@@ -11,13 +11,13 @@
 
 /* INCLUDES ****************************************************************/
 
+#include "i8042prt.h"
+
 #ifndef NDEBUG
 #define NDEBUG
 #endif
 #include <debug.h>
 
-#include "i8042prt.h"
-
 /* FUNCTIONS *****************************************************************/
 
 /*