evtchn_bind_to_user  484 drivers/xen/evtchn.c 		rc = evtchn_bind_to_user(u, bind_virq.port);
evtchn_bind_to_user  510 drivers/xen/evtchn.c 		rc = evtchn_bind_to_user(u, bind_interdomain.local_port);
evtchn_bind_to_user  537 drivers/xen/evtchn.c 		rc = evtchn_bind_to_user(u, alloc_unbound.port);