Sync with trunk r63174.

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

diff --git a/drivers/input/i8042prt/mouse.c b/drivers/input/i8042prt/mouse.c
index cb66c35..966b080 100644 (file)
--- a/drivers/input/i8042prt/mouse.c
+++ b/drivers/input/i8042prt/mouse.c
@@ -18,6 +18,9 @@
 
 /* FUNCTIONS *****************************************************************/
 
+static KDEFERRED_ROUTINE i8042MouDpcRoutine;
+static KDEFERRED_ROUTINE i8042DpcRoutineMouseTimeout;
+
 /*
  * These functions are callbacks for filter driver custom interrupt
  * service routines.
@@ -269,7 +272,8 @@ i8042MouDpcRoutine(
        UNREFERENCED_PARAMETER(SystemArgument1);
        UNREFERENCED_PARAMETER(SystemArgument2);
 
-       DeviceExtension = (PI8042_MOUSE_EXTENSION)DeferredContext;
+       __analysis_assume(DeferredContext != NULL);
+       DeviceExtension = DeferredContext;
        PortDeviceExtension = DeviceExtension->Common.PortDeviceExtension;
 
        switch (DeviceExtension->MouseTimeoutState)
@@ -358,7 +362,8 @@ i8042DpcRoutineMouseTimeout(
        UNREFERENCED_PARAMETER(SystemArgument1);
        UNREFERENCED_PARAMETER(SystemArgument2);
 
-       DeviceExtension = (PI8042_MOUSE_EXTENSION)DeferredContext;
+       __analysis_assume(DeferredContext != NULL);
+       DeviceExtension = DeferredContext;
        PortDeviceExtension = DeviceExtension->Common.PortDeviceExtension;
 
        Irql = KeAcquireInterruptSpinLock(PortDeviceExtension->HighestDIRQLInterrupt);
@@ -906,7 +911,8 @@ i8042MouInterruptService(
 
        UNREFERENCED_PARAMETER(Interrupt);
 
-       DeviceExtension = (PI8042_MOUSE_EXTENSION)Context;
+       __analysis_assume(Context != NULL);
+       DeviceExtension = Context;
        PortDeviceExtension = DeviceExtension->Common.PortDeviceExtension;
        Counter = PortDeviceExtension->Settings.PollStatusIterations;