Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_utils.h
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_utils.h	(revision 8303)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_utils.h	(revision 8304)
@@ -511,8 +511,13 @@
     
     void DPCRun();   
     void PassiveRun();
+#ifdef NTDDI_WIN8
+    static IO_WORKITEM_ROUTINE TimerPassive;
+    static KDEFERRED_ROUTINE TimerFunc;
+#else
     static VOID TimerPassive(PDEVICE_OBJECT pDevice, void *pContext);
     static VOID TimerFunc(struct _KDPC  *Dpc, PVOID  DeferredContext,PVOID  SystemArgument1,PVOID  SystemArgument2);
+#endif
 
 
     KTIMER            m_Timer;
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_timer.cpp
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_timer.cpp	(revision 8303)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_timer.cpp	(revision 8304)
@@ -233,9 +233,6 @@
     return STATUS_SUCCESS;
 }
 
-#ifdef NTDDI_WIN8
-KDEFERRED_ROUTINE GUTimerFunc;
-#endif
 VOID
  GUTimerFunc(
     IN struct _KDPC  *Dpc,
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_timer.h
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_timer.h	(revision 8303)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_timer.h	(revision 8304)
@@ -45,8 +45,10 @@
 
 class CGUTimer;
 
-VOID
-  GUTimerFunc(
+#ifdef NTDDI_WIN8
+KDEFERRED_ROUTINE GUTimerFunc;
+#endif
+VOID GUTimerFunc(
     IN struct _KDPC  *Dpc,
     IN PVOID  DeferredContext,
     IN PVOID  SystemArgument1,
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_utils.cpp
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_utils.cpp	(revision 8303)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/genutils/gu_utils.cpp	(revision 8304)
@@ -82,6 +82,7 @@
 }
 
 // In units of ns
+__drv_floatUsed
 uint64_t GetTimeStamp( void )
 {
 	uint64_t ts;
@@ -602,6 +603,7 @@
     m_CurrentLocation = 0;
 }
 
+__drv_floatUsed
 VOID Tracer::AddEvent(EventType Event, int ExtraData) {
     if (m_CurrentLocation >= MAX_EVENTS) {
         return;