107 static int add_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)  in add_evtchn()
134 static void del_evtchn(struct per_user_data *u, struct user_evtchn *evtchn)  in del_evtchn()
146 		struct user_evtchn *evtchn;  in find_evtchn()  local
162 	struct user_evtchn *evtchn = data;  in evtchn_interrupt()  local
290 		struct user_evtchn *evtchn;  in evtchn_write()  local
366 	struct user_evtchn *evtchn;  in evtchn_bind_to_user()  local
413 				    struct user_evtchn *evtchn)  in evtchn_unbind_from_user()
426 static void evtchn_bind_interdom_next_vcpu(int evtchn)  in evtchn_bind_interdom_next_vcpu()
545 		struct user_evtchn *evtchn;  in evtchn_ioctl()  local
568 		struct user_evtchn *evtchn;  in evtchn_ioctl()  local
676 		struct user_evtchn *evtchn;  in evtchn_release()  local