Sync with trunk r63174.

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

diff --git a/drivers/input/i8042prt/misc.c b/drivers/input/i8042prt/misc.c
index 6b6ad57..3adb2d4 100644 (file)
--- a/drivers/input/i8042prt/misc.c
+++ b/drivers/input/i8042prt/misc.c
@@ -23,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;
 }