find_evtchn       292 drivers/xen/evtchn.c 		evtchn = find_evtchn(u, port);
find_evtchn       556 drivers/xen/evtchn.c 		evtchn = find_evtchn(u, unbind.port);
find_evtchn       575 drivers/xen/evtchn.c 		evtchn = find_evtchn(u, notify.port);