Symbol: ec_bind_vcpu
usr/src/uts/common/xen/io/evtchn_dev.c
375
ec_bind_vcpu(*rvalp, 0);
usr/src/uts/i86xpv/sys/evtchn_impl.h
180
extern void ec_bind_vcpu(int, int);