#include "vserver/context.h"
-#define VX_IRQ 0x4000
-#define VX_IRQ_MASK 0xF000
-#if 0
-#include <linux/hardirq.h>
-#endif
-
#define vx_task_xid(t) ((t)->xid)
#define vx_current_xid() vx_task_xid(current)
-#define current_vx_info() (current->vx_info)
-
-#define vx_check(c,m) __vx_check(vx_current_xid(),c,m|VX_IRQ)
+#define vx_check(c,m) __vx_check(vx_current_xid(),c,m)
#define vx_weak_check(c,m) ((m) ? vx_check(c,m) : 1)
(id > 1) && (id < MIN_D_CONTEXT))
return 1;
}
-#if 0
- if ((mode & VX_IRQ) && (unlikely(in_interrupt())))
- return 1;
-#endif
return (((mode & VX_ADMIN) && (cid == 0)) ||
((mode & VX_WATCH) && (cid == 1)) ||