user_evtchn
static int add_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)
struct user_evtchn *this;
this = rb_entry(*new, struct user_evtchn, node);
static void del_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)
static struct user_evtchn *find_evtchn(struct per_user_data *u,
struct user_evtchn *evtchn;
evtchn = rb_entry(node, struct user_evtchn, node);
struct user_evtchn *evtchn = data;
struct user_evtchn *evtchn;
struct user_evtchn *evtchn;
struct user_evtchn *evtchn)
struct user_evtchn *evtchn;
struct user_evtchn *evtchn;
struct user_evtchn *evtchn;
struct user_evtchn *evtchn;
evtchn = rb_entry(node, struct user_evtchn, node);