Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/inc/l2w_spinlock.h
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/inc/l2w_spinlock.h	(revision 8276)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/hw/mlx4/kernel/inc/l2w_spinlock.h	(revision 8277)
@@ -118,8 +118,8 @@
 }
 
 /* we are working from DPC level, so we can use usual spinlocks */
-#define spin_lock_irq						spin_lock
-#define spin_unlock_irq 					spin_unlock
+#define spin_lock_irq(_lock_) cl_spinlock_acquire((cl_spinlock_t *)(_lock_))
+#define spin_unlock_irq(_lock_) cl_spinlock_release((cl_spinlock_t *)(_lock_))
 #define spin_lock_nested(a,b)				spin_lock(a)
 
 /* Windows doesn't support such kind of spinlocks so far, but may be tomorrow ... */