temporary fix for inet_twdr_hangman() related bug
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 2 Jan 2007 02:09:36 +0000 (02:09 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 2 Jan 2007 02:09:36 +0000 (02:09 +0000)
include/linux/vs_base.h

index 9ec4a11..0022fe4 100644 (file)
@@ -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