Symbol: find_evtchn
drivers/xen/evtchn.c
302
evtchn = find_evtchn(u, port);
drivers/xen/evtchn.c
535
evtchn = find_evtchn(u, unbind.port);
drivers/xen/evtchn.c
554
evtchn = find_evtchn(u, bind.port);
drivers/xen/evtchn.c
571
evtchn = find_evtchn(u, notify.port);