Index: gu_utils.h
===================================================================
--- gu_utils.h	(revision 8201)
+++ gu_utils.h	(revision 8202)
@@ -583,9 +583,11 @@
     {
         ASSERT(m_OldIrql == 0xff);
     }
-    
+
+#ifdef NTDDI_WIN8   
     _IRQL_requires_max_(DISPATCH_LEVEL)
     _IRQL_raises_(DISPATCH_LEVEL)
+#endif    
     void Lock() 
     {
         KeAcquireSpinLock(&m_SpinLock, &m_OldIrql);