user_evtchn
evtchn_cmp(struct user_evtchn *u1, struct user_evtchn *u2)
static struct user_evtchn *
struct user_evtchn tmp = {
struct user_evtchn *evtchn;
struct user_evtchn *evtchn;
struct user_evtchn *evtchn, *tmp;
struct user_evtchn *evtchn;
evtchn_bind_user_port(struct per_user_data *u, 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;
static int evtchn_cmp(struct user_evtchn *u1, struct user_evtchn *u2);
RB_HEAD(evtchn_tree, user_evtchn);
RB_ENTRY(user_evtchn) node;
RB_GENERATE_STATIC(evtchn_tree, user_evtchn, node, evtchn_cmp);