evtchn_wait        74 drivers/xen/evtchn.c 	wait_queue_head_t evtchn_wait;
evtchn_wait       178 drivers/xen/evtchn.c 			wake_up_interruptible(&u->evtchn_wait);
evtchn_wait       223 drivers/xen/evtchn.c 		rc = wait_event_interruptible(u->evtchn_wait,
evtchn_wait       629 drivers/xen/evtchn.c 	poll_wait(file, &u->evtchn_wait, wait);
evtchn_wait       657 drivers/xen/evtchn.c 	init_waitqueue_head(&u->evtchn_wait);