Symbol: ec_wait_on_evtchn
usr/src/uts/common/xen/io/xencons.c
1360
ec_wait_on_evtchn(xcp->evtchn, (int (*)(void *))xenconsischar, arg);
usr/src/uts/i86xpv/os/evtchn.c
1016
ec_wait_on_evtchn(ipip->mi_evtchns[CPU->cpu_id], check_func, arg);
usr/src/uts/i86xpv/sys/evtchn_impl.h
151
extern void ec_wait_on_evtchn(int, int (*)(void *), void *);