-#ifdef __KERNEL__
-
-#include <linux/list.h>
-#include <linux/spinlock.h>
-#include <linux/rcupdate.h>
-
-#define _VX_INFO_DEF_
-#include "cvirt.h"
-#include "limit.h"
-#include "sched.h"
-#undef _VX_INFO_DEF_
-
-struct vx_info {
- struct hlist_node vx_hlist; /* linked list of contexts */
- struct rcu_head vx_rcu; /* the rcu head */
- xid_t vx_id; /* context id */
- atomic_t vx_usecnt; /* usage count */
- atomic_t vx_refcnt; /* reference count */
- struct vx_info *vx_parent; /* parent context */
- int vx_state; /* context state */