#define VX_IRQ 0x4000
#define VX_IRQ_MASK 0xF000
+#if 1
#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_weak_check(c,m) ((m) ? vx_check(c,m) : 1)
(id > 1) && (id < MIN_D_CONTEXT))
return 1;
}
+#if 1
if ((mode & VX_IRQ) && (unlikely(in_interrupt())))
return 1;
+#endif
return (((mode & VX_ADMIN) && (cid == 0)) ||
((mode & VX_WATCH) && (cid == 1)) ||