83 struct user_evtchn {  struct
108 static int add_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)  in add_evtchn()  argument
115 		struct user_evtchn *this;  in add_evtchn()
117 		this = rb_entry(*new, struct user_evtchn, node);  in add_evtchn()
135 static void del_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)  in del_evtchn()
142 static struct user_evtchn *find_evtchn(struct per_user_data *u,  in find_evtchn()
148 		struct user_evtchn *evtchn;  in find_evtchn()
150 		evtchn = rb_entry(node, struct user_evtchn, node);  in find_evtchn()
164 	struct user_evtchn *evtchn = data;  in evtchn_interrupt()
300 		struct user_evtchn *evtchn;  in evtchn_write()
377 	struct user_evtchn *evtchn;  in evtchn_bind_to_user()
423 				    struct user_evtchn *evtchn)  in evtchn_unbind_from_user()
524 		struct user_evtchn *evtchn;  in evtchn_ioctl()
547 		struct user_evtchn *evtchn;  in evtchn_ioctl()
564 		struct user_evtchn *evtchn;  in evtchn_ioctl()
674 		struct user_evtchn *evtchn;  in evtchn_release()
676 		evtchn = rb_entry(node, struct user_evtchn, node);  in evtchn_release()