#include "vserver/context.h"
-#define VX_IRQ 0x4000
-#define VX_IRQ_MASK 0xF000
-#include <linux/hardirq.h>
-
#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 ((mode & VX_IRQ) && (unlikely(in_interrupt())))
- return 1;
return (((mode & VX_ADMIN) && (cid == 0)) ||
((mode & VX_WATCH) && (cid == 1)) ||