[NTFS] - Add some fixes and improvements to attribute.c from CR-123:

[reactos.git] / drivers / input / i8042prt / misc.c

diff --git a/drivers/input/i8042prt/misc.c b/drivers/input/i8042prt/misc.c
index 31d754d..fd0a0d0 100644 (file)
--- a/drivers/input/i8042prt/misc.c
+++ b/drivers/input/i8042prt/misc.c
@@ -2,7 +2,7 @@
  * PROJECT:     ReactOS i8042 (ps/2 keyboard-mouse controller) driver
  * LICENSE:     GPL - See COPYING in the top level directory
  * FILE:        drivers/input/i8042prt/misc.c
- * PURPOSE:     Misceallenous operations
+ * PURPOSE:     Miscellaneous operations
  * PROGRAMMERS: Copyright 2006-2007 Hervé Poussineau (hpoussin@reactos.org)
  */
 
@@ -10,7 +10,10 @@
 
 #include "i8042prt.h"
 
+#include <debug.h>
+
 /* FUNCTIONS *****************************************************************/
+
 static IO_COMPLETION_ROUTINE ForwardIrpAndWaitCompletion;
 
 static NTSTATUS NTAPI
@@ -20,8 +23,9 @@ ForwardIrpAndWaitCompletion(
        IN PVOID Context)
 {
        UNREFERENCED_PARAMETER(DeviceObject);
+       __analysis_assume(Context != NULL);
        if (Irp->PendingReturned)
-               KeSetEvent((PKEVENT)Context, IO_NO_INCREMENT, FALSE);
+               KeSetEvent(Context, IO_NO_INCREMENT, FALSE);
        return STATUS_MORE_PROCESSING_REQUIRED;
 }