Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mthca/kernel/hca_pnp.c
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mthca/kernel/hca_pnp.c	(revision 8305)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mthca/kernel/hca_pnp.c	(revision 8306)
@@ -878,10 +878,6 @@
 
 	HCA_ENTER( HCA_DBG_PNP );
 
-#pragma warning( push, 3 )
-	PAGED_CODE();
-#pragma warning( pop )
-
 	p_io_stack = IoGetCurrentIrpStackLocation( p_irp );
 	
 	/* Compare requested GUID with our supported interface GUIDs. */
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mthca/kernel/hca_driver.c
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mthca/kernel/hca_driver.c	(revision 8305)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mthca/kernel/hca_driver.c	(revision 8306)
@@ -443,8 +443,6 @@
 	ULONG				bytes;	
 	NTSTATUS			status = STATUS_SUCCESS;
 
-	PAGED_CODE();
-
 	if( !p_buffer )
 		return STATUS_INVALID_PARAMETER;