Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/bus/drv/drv.h
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/bus/drv/drv.h	(revision 8309)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/bus/drv/drv.h	(revision 8310)
@@ -123,6 +123,9 @@
 	WDFDEVICE      Device
 );
 
+#ifdef NTDDI_WIN8
+EVT_WDF_WMI_INSTANCE_SET_ITEM EvtStdDataSetItem;
+#else
 NTSTATUS
 EvtStdDataSetItem(
 	IN  WDFWMIINSTANCE WmiInstance,
@@ -130,14 +133,24 @@
 	IN  ULONG InBufferSize,
 	IN  PVOID InBuffer
 	);
+#endif
 
+
+#ifdef NTDDI_WIN8
+EVT_WDF_WMI_INSTANCE_SET_INSTANCE EvtStdDataSetInstance;
+#else
 NTSTATUS
 EvtStdDataSetInstance(
 	IN  WDFWMIINSTANCE WmiInstance,
 	IN  ULONG InBufferSize,
 	IN  PVOID InBuffer
 	);
+#endif
 
+
+#ifdef NTDDI_WIN8
+EVT_WDF_WMI_INSTANCE_QUERY_INSTANCE EvtStdDataQueryInstance;
+#else
 NTSTATUS
 EvtStdDataQueryInstance(
 	IN  WDFWMIINSTANCE WmiInstance,
@@ -145,8 +158,10 @@
 	IN  PVOID OutBuffer,
 	OUT PULONG BufferUsed
 	);
+#endif
 
 
+
 //
 // drv.c
 //
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/drv.h
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/drv.h	(revision 8309)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/drv.h	(revision 8310)
@@ -336,13 +336,15 @@
 
 #ifdef NTDDI_WIN8
 EVT_WDF_WMI_INSTANCE_SET_INSTANCE EvtStdDataSetInstance;
-#endif
+#else
 NTSTATUS
 EvtStdDataSetInstance(
 	IN  WDFWMIINSTANCE WmiInstance,
 	IN  ULONG InBufferSize,
 	IN  PVOID InBuffer
 	);
+#endif
+
 #ifdef NTDDI_WIN8
 EVT_WDF_WMI_INSTANCE_QUERY_INSTANCE EvtStdDataQueryInstance;
 #else