From 5632b6ccf74cda3d26351dc12759c6e156613ee7 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Tue, 2 Jan 2007 02:09:36 +0000
Subject: [PATCH] temporary fix for inet_twdr_hangman() related bug

---
 include/linux/vs_base.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/linux/vs_base.h b/include/linux/vs_base.h
index 9ec4a115c..0022fe45f 100644
--- a/include/linux/vs_base.h
+++ b/include/linux/vs_base.h
@@ -5,7 +5,7 @@
 
 #define VX_IRQ        0x4000
 #define VX_IRQ_MASK   0xF000
-#if 0
+#if 1
 #include <linux/hardirq.h>
 #endif
 
@@ -40,7 +40,7 @@ static inline int __vx_check(xid_t cid, xid_t id, unsigned int mode)
 			(id > 1) && (id < MIN_D_CONTEXT))
 			return 1;
 	}
-#if 0
+#if 1
 	if ((mode & VX_IRQ) && (unlikely(in_interrupt())))
 		return 1;
 #endif
-- 
2.43.0