Symbol: find_evtchn
sys/dev/xen/evtchn/evtchn_dev.c
345
evtchn = find_evtchn(u, port);
sys/dev/xen/evtchn/evtchn_dev.c
467
evtchn = find_evtchn(u, unbind->port);
sys/dev/xen/evtchn/evtchn_dev.c
488
evtchn = find_evtchn(u, notify->port);