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 8304)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/drv.h	(revision 8305)
@@ -254,43 +254,65 @@
 
 DRIVER_INITIALIZE DriverEntry;
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DRIVER_UNLOAD EvtDriverUnload;
+#else
 void
 EvtDriverUnload(
 	IN		WDFDRIVER  Driver
 	);
+#endif
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DRIVER_DEVICE_ADD EvtDriverDeviceAdd;
+#else
 NTSTATUS
 EvtDriverDeviceAdd(
 	IN WDFDRIVER Driver,
 	IN PWDFDEVICE_INIT Device
 	);
+#endif
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_D0_ENTRY EvtDeviceD0Entry;
+#else
 NTSTATUS
 EvtDeviceD0Entry(
 	IN WDFDEVICE  Device,
 	IN WDF_POWER_DEVICE_STATE  PreviousState
 	);
+#endif
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_D0_EXIT EvtDeviceD0Exit;
+#endif
 NTSTATUS
 EvtDeviceD0Exit(
 	IN WDFDEVICE  Device,
 	IN WDF_POWER_DEVICE_STATE  TargetState
 	);
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_PREPARE_HARDWARE EvtPrepareHardware;
+#else
 NTSTATUS
 EvtPrepareHardware(
 	IN WDFDEVICE  Device,
 	IN WDFCMRESLIST  ResourcesRaw,
 	IN WDFCMRESLIST  ResourcesTranslated
 	);
+#endif
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_RELEASE_HARDWARE EvtReleaseHardware;
+#else
 NTSTATUS
 EvtReleaseHardware(
 	IN WDFDEVICE  Device,
 	IN WDFCMRESLIST  ResourcesTranslated
 	);
+#endif
 
-
 //
 // Implemented in wmi.c
 //
@@ -300,6 +322,9 @@
 	WDFDEVICE      Device
 );
 
+#ifdef NTDDI_WIN8
+EVT_WDF_WMI_INSTANCE_SET_ITEM EvtStdDataSetItem;
+#else
 NTSTATUS
 EvtStdDataSetItem(
 	IN  WDFWMIINSTANCE WmiInstance,
@@ -307,14 +332,20 @@
 	IN  ULONG InBufferSize,
 	IN  PVOID InBuffer
 	);
+#endif
 
+#ifdef NTDDI_WIN8
+EVT_WDF_WMI_INSTANCE_SET_INSTANCE EvtStdDataSetInstance;
+#endif
 NTSTATUS
 EvtStdDataSetInstance(
 	IN  WDFWMIINSTANCE WmiInstance,
 	IN  ULONG InBufferSize,
 	IN  PVOID InBuffer
 	);
-
+#ifdef NTDDI_WIN8
+EVT_WDF_WMI_INSTANCE_QUERY_INSTANCE EvtStdDataQueryInstance;
+#else
 NTSTATUS
 EvtStdDataQueryInstance(
 	IN  WDFWMIINSTANCE WmiInstance,
@@ -322,4 +353,5 @@
 	IN  PVOID OutBuffer,
 	OUT PULONG BufferUsed
 	);
+#endif
 
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/fw.c
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/fw.c	(revision 8304)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/fw.c	(revision 8305)
@@ -106,8 +106,6 @@
 	ULONG				bytes;	
 	NTSTATUS			status = STATUS_SUCCESS;
 
-	PAGED_CODE();
-
 	if( !p_buffer )
 		return STATUS_INVALID_PARAMETER;
 
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/drv.c
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/drv.c	(revision 8304)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/drv.c	(revision 8305)
@@ -325,6 +325,9 @@
 	return status;
 }
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_PREPARE_HARDWARE EvtDevicePrepareHardware;
+#endif
 NTSTATUS
 EvtDevicePrepareHardware(
 	IN WDFDEVICE  Device,
@@ -442,7 +445,9 @@
 	return STATUS_SUCCESS;
 }
 
-
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_RELEASE_HARDWARE EvtDeviceReleaseHardware;
+#endif
 NTSTATUS
 EvtDeviceReleaseHardware(
 	IN WDFDEVICE  Device,
@@ -478,6 +483,9 @@
 	return STATUS_SUCCESS;
 }
 
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_QUERY_REMOVE EvtDeviceQueryRemove;
+#endif
 NTSTATUS
 EvtDeviceQueryRemove(
 	IN WDFDEVICE  Device
@@ -505,7 +513,9 @@
 
 }
 
-
+#ifdef NTDDI_WIN8
+EVT_WDF_DEVICE_USAGE_NOTIFICATION EvtDeviceUsageNotification;
+#endif
 VOID
 EvtDeviceUsageNotification (
 	IN WDFDEVICE  Device,
@@ -560,8 +570,6 @@
     UCHAR *ptr;
 
 	UNREFERENCED_PARAMETER(Driver);
-
-	PAGED_CODE ();
 	
 	HCA_PRINT(TRACE_LEVEL_INFORMATION, HCA_DBG_PNP, ("EvtDriverDeviceAdd: 0x%p\n", Driver));
 	//
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/wmi.c
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/wmi.c	(revision 8304)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/hca/wmi.c	(revision 8305)
@@ -56,8 +56,6 @@
 	NTSTATUS status;
 	DECLARE_CONST_UNICODE_STRING(hcaRsrcName, HCARESOURCENAME);
 
-	PAGED_CODE();
-
 	//
 	// Register WMI classes.
 	// First specify the resource name which contain the binary mof resource.
@@ -128,9 +126,7 @@
 --*/
 {
 	PFDO_DEVICE_DATA fdoData;
-
-	PAGED_CODE();
-
+	
 	fdoData = FdoGetData(WdfWmiInstanceGetDevice(WmiInstance));
 
 	switch(DataItemId)
@@ -185,8 +181,6 @@
 
 	UNREFERENCED_PARAMETER(InBufferSize);
 
-	PAGED_CODE();
-
 	fdoData = FdoGetData(WdfWmiInstanceGetDevice(WmiInstance));
 
 	//
@@ -234,8 +228,6 @@
 
 	UNREFERENCED_PARAMETER(OutBufferSize);
 
-	PAGED_CODE();
-
 	fdoData = FdoGetData(WdfWmiInstanceGetDevice(WmiInstance));
 
 	*BufferUsed = sizeof (HCA_WMI_STD_DATA);