83 struct user_evtchn {  struct
107 static int add_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)  in add_evtchn()  argument
114 		struct user_evtchn *this;  in add_evtchn()
116 		this = rb_entry(*new, struct user_evtchn, node);  in add_evtchn()
134 static void del_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)  in del_evtchn()
141 static struct user_evtchn *find_evtchn(struct per_user_data *u,  in find_evtchn()
147 		struct user_evtchn *evtchn;  in find_evtchn()
149 		evtchn = rb_entry(node, struct user_evtchn, node);  in find_evtchn()
163 	struct user_evtchn *evtchn = data;  in evtchn_interrupt()
295 		struct user_evtchn *evtchn;  in evtchn_write()
371 	struct user_evtchn *evtchn;  in evtchn_bind_to_user()
418 				    struct user_evtchn *evtchn)  in evtchn_unbind_from_user()
518 		struct user_evtchn *evtchn;  in evtchn_ioctl()
541 		struct user_evtchn *evtchn;  in evtchn_ioctl()
651 		struct user_evtchn *evtchn;  in evtchn_release()
653 		evtchn = rb_entry(node, struct user_evtchn, node);  in evtchn_release()